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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oxidation

Sigma KEE - Oxidation
Oxidation

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


(documentation Oxidation EnglishLanguage "Any ChemicalProcess where Electrons are removed from the substance undergoing the ChemicalProcess.") Mid-level-ontology.kif 19607-19608
(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 19606-19606 Oxidation est une sous-classe de d�composition chemical

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


(disjoint ChemicalReduction Oxidation) Mid-level-ontology.kif 19588-19588 ChemicalReduction est disjoint de Oxidation
(termFormat ChineseLanguage Oxidation "氧化") domainEnglishFormat.kif 43826-43826
(termFormat ChineseTraditionalLanguage Oxidation "氧化") domainEnglishFormat.kif 43825-43825
(termFormat EnglishLanguage Oxidation "oxidating") domainEnglishFormat.kif 43824-43824

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 19610-19622


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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