atomové jádro (AtomicNucleus)
The core of the Atom. It is composed of
Protons and Neutrons.
Ontologie
SUMO / BASE-ONTOLOGYNadtřída(y)
Související termín(y)
elektron
neutron
proton
Related WordNet synsets
- nucleus
- the positively charged dense center of an atom
Axiomy (2)
(=>
(instance ?ATOM Atom)
(forall
(?NUCLEUS1 ?NUCLEUS2)
(=>
(and
(component ?NUCLEUS1 ?ATOM)
(component ?NUCLEUS2 ?ATOM)
(instance ?NUCLEUS1 AtomicNucleus)
(instance ?NUCLEUS2 AtomicNucleus))
(equal ?NUCLEUS1 ?NUCLEUS2))))
Jestliže nucleus je instancí třídy atomové jádro, potom existují neutron neutron,proton proton tak, že neutron je a component of nucleus a proton je a component of nucleus.
(=>
(instance ?NUCLEUS AtomicNucleus)
(exists
(?NEUTRON ?PROTON)
(and
(component ?NEUTRON ?NUCLEUS)
(component ?PROTON ?NUCLEUS)
(instance ?NEUTRON Neutron)
(instance ?PROTON Proton))))