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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalDecomposition
ChemicalDecompositionDecomposicao_Quimica, DecomposizioneChimica, 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, d�composition_chemical, fission, fresh, glycolysis, hydrocracking, hydrolyse, hydrolyze, ionised, ionized, katabolic, katamorphism, liberated, metathesis, molder, moulder, necrobiosis, nonionic...

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


(documentation ChemicalDecomposition ChineseLanguage "这是当 CompoundSubstance 分解成更 简单产物的 ChemicalProcess Class。") Merge.kif 12407-12408
(documentation ChemicalDecomposition EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.") Merge.kif 12405-12406
(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12403-12403
(subclass ChemicalDecomposition Separating) Merge.kif 12404-12404

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


(subclass Combustion ChemicalDecomposition) Merge.kif 12418-12418
(subclass Oxidation ChemicalDecomposition) Mid-level-ontology.kif 17298-17298
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") chinese_format.kif 1171-1171
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 858-858
(termFormat FrenchLanguage ChemicalDecomposition "d�composition chemical") french_format.kif 849-849
(termFormat Hindi ChemicalDecomposition "raasaayanika vivechana") terms-hindi.txt 381-381
(termFormat ItalianLanguage ChemicalDecomposition "DecomposizioneChimica") terms-it.txt 382-382
(termFormat PortugueseLanguage ChemicalDecomposition "Decomposicao Quimica") portuguese_format.kif 801-801
(termFormat cz ChemicalDecomposition "chemical decomposition") terms-cz.txt 420-420
(termFormat tg ChemicalDecomposition "pagbubulok ng kimikal") terms-tg.txt 385-385

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


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

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12410-12416
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 10298-10303


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