Class INORGANIC-HYDROCARBON-DERIVATIVE

Subclass-Of: Inorganic-chemical

Slots Of Instances:

Derivative-Of:

Slot-Cardinality: 1

Slot-Value-Type: Hydrocarbon

Axioms:

(<=> (Inorganic-Hydrocarbon-Derivative ?Self)
     (And (Inorganic-Chemical ?Self)
          (Value-Cardinality ?Self Derivative-Of 1)
          (Value-Type ?Self Derivative-Of Hydrocarbon)))

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