Proton - Sigma Knowledge base Browser

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 1165-1166
(documentation Proton JapaneseLanguage "AtomicNucleus のコンポーネント。それは正電荷である。")	japanese_format.kif 193-194
(documentation Proton SpanishLanguage "Componentes del AtomicNucleus. Están cargadas con carga positiva.")	spanish_format.kif 229-230
(subclass Proton SubatomicParticle)	Merge.kif 1163-1163	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
(termFormat FrenchLanguage Proton "proton")	french_format.kif 501-501
(termFormat Hindi Proton "protAzna")	terms-hindi.txt 34-34
(termFormat ItalianLanguage Proton "Protone")	terms-it.txt 37-37
(termFormat JapaneseLanguage Proton "陽子")	japanese_format.kif 2186-2186
(termFormat PortugueseLanguage Proton "Proton")	portuguese_format.kif 453-453
(termFormat cz Proton "proton")	terms-cz.txt 68-68
(termFormat ro Proton "proton")	relations-ro.kif 522-522
(termFormat tg Proton "bahagi ng atom")	terms-tg.txt 38-38

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 13824-13836	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 (part ?PROTON ?ATOM) (part ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron))))	Merge.kif 1113-1120	If an object is an instance of atom, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of proton and the third 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 1149-1156	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) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?PROTON) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton))))))))	Mid-level-ontology.kif 21715-21730	If a positive integer is a proton number of a pure substance, then if there exists an object such that the 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 there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string

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