SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > SubmolecularObject
Next CorpuscularObject: AnatomicalStructure    Up: CorpuscularObject    Previous CorpuscularObject: Organism   

SubmolecularObject comparison table
Subject documentation have axiom
AtomAn extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus and Electrons surrounding the AtomicNucleus
(=>
    (instance ?MOLE Molecule)
    (exists (?ATOM1 ?ATOM2)
       (and
          (instance ?ATOM1 Atom)
          (instance ?ATOM2 Atom)
          (part ?ATOM1 ?MOLE)
          (part ?ATOM2 ?MOLE)
          (not
             (equal ?ATOM1 ?ATOM2)))))
SubatomicParticleThe class of SubmolecularObjects that are smaller than Atoms and often compose Atoms
(=>
    (instance ?SUBMOLE SubmolecularObject)
    (exists (?MOLE)
       (and
          (instance ?MOLE Molecule)
          (part ?SUBMOLE ?MOLE))))

Next CorpuscularObject: AnatomicalStructure    Up: CorpuscularObject    Previous CorpuscularObject: Organism