ChemicalReduction(chemical reduction) | ![]() | reducing, reduction |
appearance as argument number 1 |
![]() |
(disjoint ChemicalReduction Oxidation) | Mid-level-ontology.kif 19588-19588 | 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 19589-19590 | |
(subclass ChemicalReduction ChemicalSynthesis) | Mid-level-ontology.kif 19587-19587 | Chemical reduction is a subclass of chemical synthesis |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ChemicalReduction "化学还原") | domainEnglishFormat.kif 14328-14328 | |
(termFormat ChineseTraditionalLanguage ChemicalReduction "化學還原") | domainEnglishFormat.kif 14327-14327 | |
(termFormat EnglishLanguage ChemicalReduction "chemical reduction") | domainEnglishFormat.kif 14326-14326 |
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 19592-19604 |
|
![]() |
![]() |