![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |