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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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


    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))
Merge.kif 1073-1080


    (instance ?ATOM Atom)
    (forall (?NUCLEUS1 ?NUCLEUS2)
                (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