Class CARBON-17

Subclass-Of: Element-ion-or-isotope

Axioms:

(=> (Carbon-17 ?Self)
    (Exists (?A) (And (Isotope-Of ?Self ?A) (Carbon ?A))))

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