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

Proton 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))))
ProtonComponents of the AtomicNucleus. They have a positive chargeSubatomicParticle
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
       (and
          (component ?NEUTRON ?NUCLEUS)
 	   (component ?PROTON ?NUCLEUS)
          (instance ?NEUTRON Neutron)
          (instance ?PROTON Proton))))

Next SubatomicParticle: AtomicNucleus    Up: SubatomicParticle    Previous SubatomicParticle: Neutron