Class RADICAL

Subclass-Of: Submolecular-object

Axioms:

(Slot-Cardinality Radical _Collection 1)

(Slot-Cardinality Radical _Atomic 1)

(=> (Radical ?Self)
    (And (Exists (?A) (And (Element ?Self ?A) (Atom ?A)))
         (Exists (?B) (And (Component-Of ?Self ?B) (Chemical ?B)))))

• Defined in theory: Physical-concepts
• Source code: Physical-Concepts.lisp