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

AtomicNucleus 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))))
AtomicNucleusThe core of the Atom. It is composed of Protons and NeutronsSubatomicParticle
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
       (and
          (component ?NEUTRON ?NUCLEUS)
 	   (component ?PROTON ?NUCLEUS)
          (instance ?NEUTRON Neutron)
          (instance ?PROTON Proton))))

Next SubatomicParticle: Electron    Up: SubatomicParticle    Previous SubatomicParticle: Proton