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 "这是包围着 AtomicNucleusSubatomicParticle , 它们具有负电荷。") chinese_format.kif 1613-1614
(documentation Electron EnglishLanguage "SubatomicParticles that surround the AtomicNucleus. They have a negative charge.") Merge.kif 1079-1080
(externalImage Electron "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ HAtomOrbitals.png") pictureList.kif 5983-5983
(subclass Electron SubatomicParticle) Merge.kif 1077-1077 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 855-855

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)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))
Mid-level-ontology.kif 19539-19552
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
        (and
            (component ?PROTON ?ATOM)
            (component ?ELECTRON ?ATOM)
            (instance ?PROTON Proton)
            (instance ?ELECTRON Electron))))
Merge.kif 1032-1039


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