Class CHEMICAL-REACTION

Subclass-Of: Molecular-function

Axioms:

(=> (Chemical-Reaction ?Self)
    (Exists (?A)
            (And (Embodied-In ?Self ?A)
                 (Substance ?A)
                 (Exists (?B)
                         (And (Transforms-Into ?A ?B) (Substance ?B))))))

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