TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AtomicNucleus ChineseLanguage "Atom 的核心，由 Proton 和 Neutron 组成。")	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

If a corpuscular object is an instance of atomic nucleus,
then there exist another corpuscular object and a third corpuscular object such that the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of neutron and the third corpuscular object is an instance of proton

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

If a corpuscular object is an instance of atom,
then for all another corpuscular object and a third corpuscular object
- if the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of atomic nucleus and the third corpuscular object is an instance of atomic nucleus,
- then the other corpuscular object is equal to the third corpuscular object

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

KB Term:			Term intersection

English Word: