Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalDecomposition

Sigma KEE - ChemicalDecomposition
ChemicalDecomposition

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


(documentation ChemicalDecomposition ChineseLanguage "这是当 CompoundSubstance 分解成更 简单产物的 ChemicalProcess Class。") chinese_format.kif 3187-3188
(documentation ChemicalDecomposition EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.") Merge.kif 12008-12009
(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12006-12006
(subclass ChemicalDecomposition Separating) Merge.kif 12007-12007

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


(subclass CatabolicProcess ChemicalDecomposition) Mid-level-ontology.kif 9636-9636
(subclass Combustion ChemicalDecomposition) Merge.kif 12019-12019
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 18902-18902
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") chinese_format.kif 1171-1171
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 1559-1559

appearance as argument number 3
-------------------------


(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 11963-11963

consequent
-------------------------


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12011-12017
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 9934-9939


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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