Class ATOMIC-UNIT

Subclass-Of: Submolecular-object

Axioms:

(Slot-Cardinality Atomic-Unit _Atomic 1)

(=> (Atomic-Unit ?Self)
    (Exists (?A) (And (Element ?Self ?A) (Atom ?A))))

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