Class SPLITTING

Subclass-Of: Molecular-function

Axioms:

(=> (Splitting ?Self)
    (And (Exists (?A) (And (Embodied-In ?Self ?A) (Substance ?A)))
         (Exists (?B) (And (Product ?Self ?B) (Substance ?B)))))

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