Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AtomicNucleus

Sigma KEE - AtomicNucleus
AtomicNucleus(atomic nucleus)nucleus

appearance as argument number 1
-------------------------


(documentation AtomicNucleus ChineseLanguage "Atom 的核心, 由 ProtonNeutron 组成。") chinese_format.kif 1611-1612
(documentation AtomicNucleus EnglishLanguage "The core of the Atom. It is composed of Protons and Neutrons.") Merge.kif 1098-1099
(subclass AtomicNucleus SubatomicParticle) Merge.kif 1097-1097 Atomic nucleus is a subclass of subatomic particle

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AtomicNucleus "原子核") chinese_format.kif 823-823
(termFormat EnglishLanguage AtomicNucleus "atomic nucleus") english_format.kif 848-848

antecedent
-------------------------


(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
        (and
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))
Merge.kif 1101-1108

consequent
-------------------------


(=>
    (instance ?ATOM Atom)
    (forall (?NUCLEUS1 ?NUCLEUS2)
        (=>
            (and
                (component ?NUCLEUS1 ?ATOM)
                (component ?NUCLEUS2 ?ATOM)
                (instance ?NUCLEUS1 AtomicNucleus)
                (instance ?NUCLEUS2 AtomicNucleus))
            (equal ?NUCLEUS1 ?NUCLEUS2))))
Merge.kif 1074-1083


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners