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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalDecomposition
ChemicalDecomposition

VerbNet: entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot,


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


(documentation ChemicalDecomposition ChineseLanguage "这是当 CompoundSubstance 分解成更 简单产物的 ChemicalProcess Class。") Merge.kif 16836-16837
(documentation ChemicalDecomposition EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.") Merge.kif 16834-16835
(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 16832-16832
(subclass ChemicalDecomposition Separating) Merge.kif 16833-16833

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


(subclass Combustion ChemicalDecomposition) Merge.kif 16847-16847
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 17357-17357
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") chinese_format.kif 1171-1171
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 2222-2222
(termFormat JapaneseLanguage ChemicalDecomposition "化学分解") english_format.kif 2223-2223

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


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

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 16839-16845
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 14223-14228


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