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 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	Oxidating is a subclass of chemical synthesis

appearance as argument number 2

(disjoint ChemicalReduction Oxidation)	Mid-level-ontology.kif 21132-21132	Chemical reduction is disjoint from oxidating
(relatedInternalConcept Corrosion Oxidation)	Transportation.kif 4257-4257	Corrosion is internally related to oxidating
(termFormat ChineseLanguage Oxidation "氧化")	domainEnglishFormat.kif 43826-43826	Corrosion is internally related to oxidating
(termFormat ChineseTraditionalLanguage Oxidation "氧化")	domainEnglishFormat.kif 43825-43825	Corrosion is internally related to oxidating
(termFormat EnglishLanguage Oxidation "oxidating")	domainEnglishFormat.kif 43824-43824	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 4274-4283	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 21154-21166	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