Class ATOM

Subclass-Of: Submolecular-object

Axioms:

(Slot-Cardinality Atom _Atom 1)

(Slot-Cardinality Atom _Atomic 1)

(=> (Atom ?Self)
    (Exists (?A) (And (Element ?Self ?A) (Particle ?A))))

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