atomic nucleus (AtomicNucleus)

Ontology

Superclass(es)

entity   physical     object     self connected object     substance     pure substance     elemental substance     subatomic particle

atomic nucleus

Coordinate term(s)

Related WordNet synsets

nucleus

the positively charged dense center of an atom
           

Axioms (2)

• if atom is an instance of atom,
• then for all nucleus1,nucleus2 holds: if nucleus1 is a component of atom and nucleus2 is a component of atom and nucleus1 is an instance of atomic nucleus and nucleus2 is an instance of atomic nucleus, then nucleus1 is equal to nucleus2
.

(=>
      (instance ?ATOM Atom)
      (forall
            (?NUCLEUS1 ?NUCLEUS2)
            (=>
                  (and
                        (component ?NUCLEUS1 ?ATOM)
                        (component ?NUCLEUS2 ?ATOM)
                        (instance ?NUCLEUS1 AtomicNucleus)
                        (instance ?NUCLEUS2 AtomicNucleus))
                  (equal ?NUCLEUS1 ?NUCLEUS2))))

(=>
      (instance ?NUCLEUS AtomicNucleus)
      (exists
            (?NEUTRON ?PROTON)
            (and
                  (component ?NEUTRON ?NUCLEUS)
                  (component ?PROTON ?NUCLEUS)
                  (instance ?NEUTRON Neutron)
                  (instance ?PROTON Proton))))