Class HYDROCARBON-DERIVATIVE

Subclass-Of: Chemical

Axioms:

(<=> (Hydrocarbon-Derivative ?Self)
     (And (Chemical ?Self)
          (Exists (?A)
                  (And (Derivative-Of ?Self ?A) (Hydrocarbon ?A)))
          (Forall (?A ?B)
                  (=> (And (Derivative-Of ?Self ?A)
                           (Derivative-Of ?Self ?B))
                      (= ?A ?B)))))

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