Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalReduction
ChemicalReduction(chemical reduction)reducing, reduction

appearance as argument number 1
-------------------------


(subclass ChemicalReduction ChemicalSynthesis) Mid-level-ontology.kif 21460-21460 Chemical reduction is a subclass of chemical synthesis
(disjoint ChemicalReduction Oxidation) Mid-level-ontology.kif 21461-21461 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 21462-21463 Chemical reduction is disjoint from oxidating

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ChemicalReduction "chemical reduction") domainEnglishFormat.kif 14328-14328
(termFormat ChineseTraditionalLanguage ChemicalReduction "化學還原") domainEnglishFormat.kif 14329-14329
(termFormat ChineseLanguage ChemicalReduction "化学还原") domainEnglishFormat.kif 14330-14330

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 21465-21477 If X is an instance of chemical reduction, Y is a patient of X, and Z is an electron number of Y holds during the beginning of the time of existence of X, then there exists W such that W is greater than Z and W is an electron number of Y holds during the end of the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners