Class WATER

Subclass-Of: Chemical

Axioms:

(=> (Water ?Self)
    (And (Exists (?A) (And (Prime-Component ?Self ?A) (Hydrogen ?A)))
         (Exists (?B) (And (Prime-Component ?Self ?B) (Oxygen ?B)))))

• Defined in theory: Substances
• Source code: Substances.lisp