SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > SubmolecularObject > SubatomicParticle > Electron
Next SubatomicParticle: Neutron    Up: SubatomicParticle    Previous SubatomicParticle: AtomicNucleus   

Electron comparison table
Subject documentation is a kind of have axiom
SubatomicParticleThe class of SubmolecularObjects that are smaller than Atoms and often compose AtomsSubmolecularObject
(=>
    (instance ?SUBMOLE SubmolecularObject)
    (exists (?MOLE)
       (and
          (instance ?MOLE Molecule)
          (part ?SUBMOLE ?MOLE))))
ElectronSubatomicParticles that surround the AtomicNucleus. They have a negative chargeSubatomicParticle
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
       (and
          (component ?PROTON ?ATOM)
 	   (component ?ELECTRON ?ATOM)
          (instance ?PROTON Proton)
          (instance ?ELECTRON Electron))))

Next SubatomicParticle: Neutron    Up: SubatomicParticle    Previous SubatomicParticle: AtomicNucleus