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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AtomicNucleus
AtomicNucleus

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 1070-1071
(subclass AtomicNucleus SubatomicParticle) Merge.kif 1069-1069

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 1073-1080

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 1046-1055


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners