SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > SubmolecularObject > Atom
Next SubmolecularObject: SubatomicParticle    Up: SubmolecularObject

Atom comparison table
Subject documentation is a kind of have axiom
SubmolecularObjectThe Class of CorpuscularObjects that compose MoleculesCorpuscularObject
(=>
    (instance ?SUBMOLE SubmolecularObject)
    (exists (?MOLE)
       (and
          (instance ?MOLE Molecule)
          (part ?SUBMOLE ?MOLE))))
AtomAn extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus and Electrons surrounding the AtomicNucleusSubmolecularObject
(=>
    (instance ?MOLE Molecule)
    (exists (?ATOM1 ?ATOM2)
       (and
          (instance ?ATOM1 Atom)
          (instance ?ATOM2 Atom)
          (part ?ATOM1 ?MOLE)
          (part ?ATOM2 ?MOLE)
          (not
             (equal ?ATOM1 ?ATOM2)))))

Next SubmolecularObject: SubatomicParticle    Up: SubmolecularObject