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。") Merge.kif 12465-12466
(documentation ChemicalDecomposition EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.") Merge.kif 12463-12464
(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12461-12461
(subclass ChemicalDecomposition Separating) Merge.kif 12462-12462

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


(subclass Combustion ChemicalDecomposition) Merge.kif 12476-12476
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 17356-17356
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") chinese_format.kif 1171-1171
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 858-858

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


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

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12468-12474
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 10356-10361


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners