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 21168-21169
(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 21167-21167	Oxidating is a subclass of chemical synthesis

appearance as argument number 2

(disjoint ChemicalReduction Oxidation)	Mid-level-ontology.kif 21149-21149	Chemical reduction is disjoint from oxidating
(relatedInternalConcept Corrosion Oxidation)	Transportation.kif 4255-4255	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 4272-4281	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 21171-21183	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