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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12322-12323
(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12320-12320 化学分解化学过程subclass
(subclass ChemicalDecomposition Separating) Merge.kif 12321-12321 化学分解分开subclass

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


(subclass CatabolicProcess ChemicalDecomposition) Mid-level-ontology.kif 9662-9662 CatabolicProcess化学分解subclass
(subclass Combustion ChemicalDecomposition) Merge.kif 12333-12333 燃烧化学分解subclass
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 18929-18929 氧化化学分解subclass
(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 12266-12266 化学过程 详尽无遗地 partition化学合成化学分解

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12325-12331
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 10206-10211


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