NucleoAtomico (AtomicNucleus)
The core of the Atom. It is composed of
Protons and Neutrons.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Coordinate term(s)
Elettrone
Neutrone
Protone
Related WordNet synsets
- nucleus
- the positively charged dense center of an atom
Axioms (2)
(=>
(instance ?ATOM Atom)
(forall
(?NUCLEUS1 ?NUCLEUS2)
(=>
(and
(component ?NUCLEUS1 ?ATOM)
(component ?NUCLEUS2 ?ATOM)
(instance ?NUCLEUS1 AtomicNucleus)
(instance ?NUCLEUS2 AtomicNucleus))
(equal ?NUCLEUS1 ?NUCLEUS2))))
Se nucleus é un' istanza di NucleoAtomico, allora esiste Neutrone neutron,Protone proton tale che neutron é un componente dinucleus e proton é un componente dinucleus.
(=>
(instance ?NUCLEUS AtomicNucleus)
(exists
(?NEUTRON ?PROTON)
(and
(component ?NEUTRON ?NUCLEUS)
(component ?PROTON ?NUCLEUS)
(instance ?NEUTRON Neutron)
(instance ?PROTON Proton))))