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

Atom
subjectfact 
Atomdocumentation An extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus and Electrons surrounding the AtomicNucleus2001-11-30 13:33:39.0
has axiom 
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
       (and
          (component ?PROTON ?ATOM)
 	   (component ?ELECTRON ?ATOM)
          (instance ?PROTON Proton)
          (instance ?ELECTRON Electron))))
2001-11-30 13:33:39.0
has axiom 
(=>
    (instance ?ATOM Atom)
    (forall (?NUCLEUS1 ?NUCLEUS2)
       (=>
          (and
             (component ?NUCLEUS1 ?ATOM)
 	      (component ?NUCLEUS2 ?ATOM)
             (instance ?NUCLEUS1 AtomicNucleus)
             (instance ?NUCLEUS2 AtomicNucleus))
 	   (equal ?NUCLEUS1 ?NUCLEUS2))))
2001-11-30 13:33:39.0
has axiom 
(=>
    (instance ?MOLE Molecule)
    (exists (?ATOM1 ?ATOM2)
       (and
          (instance ?ATOM1 Atom)
          (instance ?ATOM2 Atom)
          (part ?ATOM1 ?MOLE)
          (part ?ATOM2 ?MOLE)
          (not
             (equal ?ATOM1 ?ATOM2)))))
2001-11-30 13:33:39.0
is a kind of SubmolecularObject2001-11-30 13:33:39.0
CorpuscularObjectis disjoint from Substance2001-11-30 13:33:58.0
is first domain of component2001-11-30 13:33:58.0
is second domain of component2001-11-30 13:33:58.0
is second domain of material2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0