ChemicalReduction - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ChemicalReduction Oxidation)	Mid-level-ontology.kif 20650-20650	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 20651-20652	Chemical reduction is disjoint from oxidating
(subclass ChemicalReduction ChemicalSynthesis)	Mid-level-ontology.kif 20649-20649	Chemical reduction is a subclass of chemical synthesis

appearance as argument number 2

(termFormat ChineseLanguage ChemicalReduction "化学还原")	domainEnglishFormat.kif 14343-14343
(termFormat ChineseTraditionalLanguage ChemicalReduction "化學還原")	domainEnglishFormat.kif 14342-14342
(termFormat EnglishLanguage ChemicalReduction "chemical reduction")	domainEnglishFormat.kif 14341-14341

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 20654-20666

If a process is an instance of chemical reduction and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process,
then there exists another real number such that the other real number is greater than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: