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 21151-21152
(externalImage Oxidation "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 55/ Rust03102006.JPG/ 250px_Rust03102006.JPG") pictureList.kif 1207-1207
(subclass Oxidation ChemicalSynthesis) Mid-level-ontology.kif 21150-21150 氧化化学合成subclass

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


(disjoint ChemicalReduction Oxidation) Mid-level-ontology.kif 21132-21132 化学还原 和 % 2 是 disjoint
(relatedInternalConcept Corrosion Oxidation) Transportation.kif 4257-4257 Corrosion氧化 是 内部相关
(termFormat ChineseLanguage Oxidation "氧化") domainEnglishFormat.kif 43826-43826 Corrosion氧化 是 内部相关
(termFormat ChineseTraditionalLanguage Oxidation "氧化") domainEnglishFormat.kif 43825-43825 Corrosion氧化 是 内部相关
(termFormat EnglishLanguage Oxidation "oxidating") domainEnglishFormat.kif 43824-43824 Corrosion氧化 是 内部相关

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


(=>
    (and
        (instance ?M Metal)
        (instance ?O Oxidation)
        (patient ?O Metal))
    (exists (?C)
        (and
            (instance ?C Corrosion)
            (patient ?C ?M)
            (causes ?O ?C))))
Transportation.kif 4274-4283
(=>
    (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 21154-21166


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