|
|
   Oxidation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Oxidation EnglishLanguage "Any ChemicalProcess where Electrons are removed from the substance undergoing the ChemicalProcess.") | Mid-level-ontology.kif 17357-17358 | |
| (externalImage Oxidation "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 55/ Rust03102006.JPG/ 250px-Rust03102006.JPG") | pictureList.kif 1208-1208 | externalImage Oxidation and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Rust03102006.JPG/ 250px-Rust03102006.JPG" |
| (subclass Oxidation ChemicalDecomposition) | Mid-level-ontology.kif 17356-17356 | Oxidation 是 化学分解 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint ChemicalReduction Oxidation) | Mid-level-ontology.kif 17340-17340 | ChemicalReduction 和 % 2 是 disjoint |
| (termFormat EnglishLanguage Oxidation "oxidation") | domainEnglishFormat.kif 7723-7723 | termFormat EnglishLanguage, Oxidation and "oxidation" |
| antecedent |
|
|
| (=> (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 17360-17372 |
|
|
|
