yuan2 zi3 he2 (AtomicNucleus)

The core of the Atom. It is composed of Protons and Neutrons.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

wu4 zhi4

chun2 wu4 zhi4

ji1 ben3 wu4 zhi4

ci4 yuan2 zi3 li4 zi3

yuan2 zi3 he2

Coordinate term(s)

dian4 zi3 zhong1 zi3 zhi4 zi3

Related WordNet synsets

nucleus: the positively charged dense center of an atom

Axioms (2)

if atom shi4 yuan2 zi3 de5 shi2 li4,
then for all nucleus1,nucleus2 holds: if nucleus1 shi4 atom de5 yuan2 jian4 and nucleus2 shi4 atom de5 yuan2 jian4 and nucleus1 shi4 yuan2 zi3 he2 de5 shi2 li4 and nucleus2 shi4 yuan2 zi3 he2 de5 shi2 li4, then nucleus1 deng3 yu1 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 shi4 yuan2 zi3 he2 de5 shi2 li4, then there exist zhong1 zi3 neutron,zhi4 zi3 proton so_that_not neutron shi4 nucleus de5 yuan2 jian4 and proton shi4 nucleus de5 yuan2 jian4.

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