TreeView Knowledge Base Browser - Proton

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Proton

Proton(proton)

appearance as argument number 1

(documentation Proton ChineseLanguage "这是 AtomicNucleus 的组件，它们具有正电荷。")	chinese_format.kif 1615-1615
(documentation Proton EnglishLanguage "Components of the AtomicNucleus. They have a positive charge.")	Merge.kif 1117-1118
(subclass Proton SubatomicParticle)	Merge.kif 1115-1115	Proton is a subclass of subatomic particle

appearance as argument number 2

(termFormat ChineseLanguage Proton "质子")	chinese_format.kif 825-825
(termFormat EnglishLanguage Proton "proton")	english_format.kif 852-852

consequent

(=> (atomicNumber ?TYPE ?NUMBER) (=> (and (instance ?SUBSTANCE ?TYPE) (part ?ATOM ?SUBSTANCE) (instance ?ATOM Atom)) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton)))))))	Merge.kif 13531-13543	If a positive integer is an atomic number of a kind of elemental substance, then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom, then the positive integer is equal to the number of instances in the class described by a symbolic string
(=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (component ?PROTON ?ATOM) (component ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron))))	Merge.kif 1065-1072	If a corpuscular object is an instance of atom, 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 proton and the third corpuscular object is an instance of electron
(=> (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
(=> (protonNumber ?SUBSTANCE ?NUMBER) (=> (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule))) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton)))))))	Mid-level-ontology.kif 21150-21163	If a positive integer is a proton number of a pure substance, then if an object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then the positive integer is equal to the number of instances in the class described by a symbolic string

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