原子核 (AtomicNucleus)
The core of the Atom. It is composed of
Protons and Neutrons.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Coordinate term(s)
電子
中子
質子
Related WordNet synsets
- nucleus
- the positively charged dense center of an atom
Axioms (2)
- if atom 是 原子 的 實例,
- then for all nucleus1,nucleus2 holds: if nucleus1 是 atom 的 元件 and nucleus2 是 atom 的 元件 and nucleus1 是 原子核 的 實例 and nucleus2 是 原子核 的 實例, then nucleus1 等於 nucleus2
.
(=>
(instance ?ATOM Atom)
(forall
(?NUCLEUS1 ?NUCLEUS2)
(=>
(and
(component ?NUCLEUS1 ?ATOM)
(component ?NUCLEUS2 ?ATOM)
(instance ?NUCLEUS1 AtomicNucleus)
(instance ?NUCLEUS2 AtomicNucleus))
(equal ?NUCLEUS1 ?NUCLEUS2))))
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))))