Class ELECTRON

Subclass-Of: Particle

Axioms:

(=> (Electron ?Self)
    (Exists (?A) (And (Prime-Component-Of ?Self ?A) (Atom ?A))))

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