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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalDecomposition
ChemicalDecomposition(chemical decomposition)alpha_decay, apoptosis, benficiate, beta_decay, biodegrade, caspase-mediated_cell_death, catabolic, cell_death, chemical_decomposition, cleavage, corroded, corrupt, corruption, cracking, de-iodinating, de-iodination, deaminate, deaminize, decarboxylate, decay, decayed, decompose, decomposition, decompositional, deoxidise, deoxidize, digestion, disintegration, double_decomposition, double_decomposition_reaction, double_replacement_reaction, fission, fresh, glycolysis, hydrocracking, hydrolyse, hydrolyze, ionised, ionized, katabolic, katamorphism, liberated, metathesis, molder, moulder, necrobiosis, nonionic, nonionised, nonionized, nuclear_fission...

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 Chemical decomposition is a subclass of chemical process
(subclass ChemicalDecomposition Separating) Merge.kif 12462-12462 Chemical decomposition is a subclass of separating

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


(subclass Combustion ChemicalDecomposition) Merge.kif 12476-12476 Combustion is a subclass of chemical decomposition
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 17356-17356 Oxidation is a subclass of chemical decomposition
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") chinese_format.kif 1171-1171 "化学分解" is the printable form of chemical decomposition in ChineseLanguage
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 858-858 "chemical decomposition" is the printable form of chemical decomposition in english language

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


(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12412-12412 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition

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