質子 (Proton)
Components of the AtomicNucleus. They have a
positive charge.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Coordinate term(s)
原子核
電子
中子
Related WordNet synsets
- proton
- a stable particle with positive charge equal to the negative charge of an electron
Axioms (2)
If atom 是 原子 的 實例, then there exist 質子 proton,電子 electron so that proton 是 atom 的 元件 and electron 是 atom 的 元件.
(=>
(instance ?ATOM Atom)
(exists
(?PROTON ?ELECTRON)
(and
(component ?PROTON ?ATOM)
(component ?ELECTRON ?ATOM)
(instance ?PROTON Proton)
(instance ?ELECTRON Electron))))
If nucleus 是 原子核 的 實例, then there exist 中子 neutron,質子 proton so that neutron 是 nucleus 的 元件 and proton 是 nucleus 的 元件.
(=>
(instance ?NUCLEUS AtomicNucleus)
(exists
(?NEUTRON ?PROTON)
(and
(component ?NEUTRON ?NUCLEUS)
(component ?PROTON ?NUCLEUS)
(instance ?NEUTRON Neutron)
(instance ?PROTON Proton))))