Class MOLECULE

Subclass-Of: Material-object
Axioms:
(Slot-Cardinality Molecule _Molecular 1)

(=> (Molecule ?Self)
    (And (Minimum-Slot-Cardinality ?Self Element 2)
         (Exists (?A)
                 (And (Prime-Component-Of ?Self ?A) (Chemical ?A)))))