Electron - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Electron

Electron(electron)

delta_ray, electron, free_electron, negatron, photoelectron, valence_electron

appearance as argument number 1

(documentation Electron ChineseLanguage "这是包围着 AtomicNucleus 的 SubatomicParticle , 它们具有负电荷。")	chinese_format.kif 1613-1614
(documentation Electron EnglishLanguage "SubatomicParticles that surround the AtomicNucleus. They have a negative charge.")	Merge.kif 1160-1161
(documentation Electron JapaneseLanguage "AtomicNucleus を囲む SubatomicParticles。それは負電荷である。")	japanese_format.kif 191-192
(documentation Electron SpanishLanguage "SubatomicParticles que están alrededor del AtomicNucleus. Los electrones están cargados con carga negativa.")	spanish_format.kif 227-228
(externalImage Electron "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ HAtomOrbitals.png")	pictureList.kif 5982-5982
(subclass Electron SubatomicParticle)	Merge.kif 1158-1158	Electron is a subclass of subatomic particle

appearance as argument number 2

(termFormat ChineseLanguage Electron "电子")	chinese_format.kif 824-824
(termFormat EnglishLanguage Electron "electron")	english_format.kif 850-850
(termFormat FrenchLanguage Electron "�l�ctron")	french_format.kif 500-500
(termFormat Hindi Electron "vidyudaNu")	terms-hindi.txt 33-33
(termFormat ItalianLanguage Electron "Elettrone")	terms-it.txt 36-36
(termFormat JapaneseLanguage Electron "電子")	japanese_format.kif 2185-2185
(termFormat PortugueseLanguage Electron "Eletron")	portuguese_format.kif 452-452
(termFormat cb Electron "elektronika")	terms-cb.txt 38-38
(termFormat cz Electron "electron")	terms-cz.txt 67-67
(termFormat ro Electron "electron")	relations-ro.kif 521-521
(termFormat tg Electron "bahagi ng atom")	terms-tg.txt 37-37

consequent

(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (electronNumber ?SUBSTANCE ?NUMBER) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?ELECTRON) (equal ?NUMBER (CardinalityFn (KappaFn ?ELECTRON (and (part ?ELECTRON ?ATOM) (instance ?ELECTRON Electron))))))))	Mid-level-ontology.kif 21971-21986	If a positive integer is an electron 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
(=> (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

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