Oxidation - Sigma Knowledge base Browser

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 20669-20670
(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 20668-20668	Oxidating is a subclass of chemical synthesis

appearance as argument number 2

(disjoint ChemicalReduction Oxidation)	Mid-level-ontology.kif 20650-20650	Chemical reduction is disjoint from oxidating
(relatedInternalConcept Corrosion Oxidation)	Transportation.kif 4251-4251	Corrosion is internally related to oxidating
(termFormat ChineseLanguage Oxidation "氧化")	domainEnglishFormat.kif 43855-43855	Corrosion is internally related to oxidating
(termFormat ChineseTraditionalLanguage Oxidation "氧化")	domainEnglishFormat.kif 43854-43854	Corrosion is internally related to oxidating
(termFormat EnglishLanguage Oxidation "oxidating")	domainEnglishFormat.kif 43853-43853	Corrosion is internally related to oxidating

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 4268-4277	If an entity is an instance of metal and a process is an instance of oxidating and metal is a patient of the process, then there exists another process such that the other process is an instance of corrosion and the entity is a patient of the other process and the process causes the other process
(=> (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 20672-20684	If a process is an instance of oxidating and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is less than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process

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