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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oxidation

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19580-19581
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1207-1207
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19579-19579 Oxidating is a subclass of chemical decomposition

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19561-19561 Chemical reduction is disjoint from oxidating
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43824-43824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43823-43823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43822-43822

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19583-19595


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