SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > SubmolecularObject > SubatomicParticle > Proton
Next SubatomicParticleAtomicNucleus    UpSubatomicParticle    Previous SubatomicParticleNeutron   

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 SubatomicParticleAtomicNucleus    UpSubatomicParticle    Previous SubatomicParticleNeutron