| ChemicalReduction(chemical reduction) | | reducing, reduction |
| appearance as argument number 1 |
|
|
| (disjoint ChemicalReduction Oxidation) | Mid-level-ontology.kif 19819-19819 | Chemical reduction is disjoint from oxidating |
| (documentation ChemicalReduction EnglishLanguage "Any ChemicalProcess where Electrons are added to the substance undergoing the ChemicalProcess.") | Mid-level-ontology.kif 19820-19821 | Chemical reduction is disjoint from oxidating |
| (subclass ChemicalReduction ChemicalSynthesis) | Mid-level-ontology.kif 19818-19818 | Chemical reduction is a subclass of chemical synthesis |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChemicalReduction "化学还原") | domainEnglishFormat.kif 14344-14344 | |
| (termFormat ChineseTraditionalLanguage ChemicalReduction "化學還原") | domainEnglishFormat.kif 14343-14343 | |
| (termFormat EnglishLanguage ChemicalReduction "chemical reduction") | domainEnglishFormat.kif 14342-14342 |
| antecedent |
|
|
| (=> (and (instance ?R ChemicalReduction) (patient ?R ?S) (holdsDuring (BeginFn (WhenFn ?R)) (electronNumber ?S ?L))) (exists (?G) (and (greaterThan ?G ?L) (holdsDuring (EndFn (WhenFn ?R)) (electronNumber ?S ?G))))) |
Mid-level-ontology.kif 19823-19835 |
|
|
|
|