| 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 5981-5981 | |
| (subclass Electron SubatomicParticle) | Merge.kif 1158-1158 |
| 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 | |
| (=> (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 | |
| (=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (part ?PROTON ?ATOM) (part ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron)))) |
Merge.kif 1113-1120 |
|
|
|