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

Proton
subjectfact 
Protondocumentation Components of the AtomicNucleus. They have a positive charge2001-11-30 13:35:05.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:35:05.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:35:05.0
is a kind of SubatomicParticle2001-11-30 13:35:05.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