zhi4 zi3 (Proton)
Components of the AtomicNucleus. They have a
positive charge.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Coordinate term(s)
yuan2 zi3 he2
dian4 zi3
zhong1 zi3
Related WordNet synsets
- proton
- a stable particle with positive charge equal to the negative charge of an electron
Axioms (2)
If atom shi4 yuan2 zi3 de5 shi2 li4, then there exist zhi4 zi3 proton,dian4 zi3 electron so_that_not proton shi4 atom de5 yuan2 jian4 and electron shi4 atom de5 yuan2 jian4.
(=>
(instance ?ATOM Atom)
(exists
(?PROTON ?ELECTRON)
(and
(component ?PROTON ?ATOM)
(component ?ELECTRON ?ATOM)
(instance ?PROTON Proton)
(instance ?ELECTRON Electron))))
If nucleus shi4 yuan2 zi3 he2 de5 shi2 li4, then there exist zhong1 zi3 neutron,zhi4 zi3 proton so_that_not neutron shi4 nucleus de5 yuan2 jian4 and proton shi4 nucleus de5 yuan2 jian4.
(=>
(instance ?NUCLEUS AtomicNucleus)
(exists
(?NEUTRON ?PROTON)
(and
(component ?NEUTRON ?NUCLEUS)
(component ?PROTON ?NUCLEUS)
(instance ?NEUTRON Neutron)
(instance ?PROTON Proton))))