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

AtomicNucleus
subjectfact 
AtomicNucleusdocumentation The core of the Atom. It is composed of Protons and Neutrons2001-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 ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
       (and
          (component ?NEUTRON ?NUCLEUS)
 	   (component ?PROTON ?NUCLEUS)
          (instance ?NEUTRON Neutron)
          (instance ?PROTON Proton))))
2001-11-30 13:33:39.0
is a kind of SubatomicParticle2001-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