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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1065-1066
(subclass AtomicNucleus SubatomicParticle) Merge.kif 1064-1064 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 853-853

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


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

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 1041-1050


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



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