Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oxidation
Oxidation(oxidating)
oxidation, oxidisation, oxidization, rusty

appearance as argument number 1
-------------------------


(documentation Oxidation EnglishLanguage "Any ChemicalProcess where Electrons are removed from the substance undergoing the ChemicalProcess.") Mid-level-ontology.kif 19580-19581
(externalImage Oxidation "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 55/ Rust03102006.JPG/ 250px-Rust03102006.JPG") pictureList.kif 1207-1207
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 19579-19579 Oxidating is a subclass of chemical decomposition

appearance as argument number 2
-------------------------


(disjoint ChemicalReduction Oxidation) Mid-level-ontology.kif 19561-19561 Chemical reduction is disjoint from oxidating
(termFormat ChineseLanguage Oxidation "氧化") domainEnglishFormat.kif 43824-43824
(termFormat ChineseTraditionalLanguage Oxidation "氧化") domainEnglishFormat.kif 43823-43823
(termFormat EnglishLanguage Oxidation "oxidating") domainEnglishFormat.kif 43822-43822

antecedent
-------------------------


(=>
    (and
        (instance ?O Oxidation)
        (patient ?O ?S)
        (holdsDuring
            (BeginFn
                (WhenFn ?O))
            (electronNumber ?S ?G)))
    (exists (?L)
        (and
            (lessThan ?L ?G)
            (holdsDuring
                (EndFn
                    (WhenFn ?O))
                (electronNumber ?S ?L)))))
Mid-level-ontology.kif 19583-19595


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