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, 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, off...

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

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


(subclass CatabolicProcess ChemicalDecomposition) Mid-level-ontology.kif 10990-10990 Catabolic process is a subclass of chemical decomposition
(subclass Combustion ChemicalDecomposition) Merge.kif 12646-12646 Burning is a subclass of chemical decomposition
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") chinese_format.kif 1171-1171 Burning is a subclass of chemical decomposition
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 1559-1559 Burning is a subclass of chemical decomposition
(termFormat FrenchLanguage ChemicalDecomposition "d�composition chemical") french_format.kif 849-849 Burning is a subclass of chemical decomposition
(termFormat Hindi ChemicalDecomposition "raasaayanika vivechana") terms-hindi.txt 381-381 Burning is a subclass of chemical decomposition
(termFormat ItalianLanguage ChemicalDecomposition "DecomposizioneChimica") terms-it.txt 384-384 Burning is a subclass of chemical decomposition
(termFormat JapaneseLanguage ChemicalDecomposition "化学分解") japanese_format.kif 2533-2533 Burning is a subclass of chemical decomposition
(termFormat PortugueseLanguage ChemicalDecomposition "Decomposicao Quimica") portuguese_format.kif 801-801 Burning is a subclass of chemical decomposition
(termFormat cz ChemicalDecomposition "chemical decomposition") terms-cz.txt 420-420 Burning is a subclass of chemical decomposition
(termFormat de ChemicalDecomposition "chemische Aufspaltung") terms-de.txt 679-679 Burning is a subclass of chemical decomposition
(termFormat ro ChemicalDecomposition "decompoziþie chimicã") relations-ro.kif 870-870 Burning is a subclass of chemical decomposition
(termFormat tg ChemicalDecomposition "pagbubulok ng kimikal") terms-tg.txt 385-385 Burning is a subclass of chemical decomposition

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


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

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


(=>
    (and
        (instance ?P PreservingFood)
        (instance ?F Food)
        (patient ?P ?F))
    (hasPurpose ?P
        (not
            (exists (?D)
                (and
                    (instance ?D ChemicalDecomposition)
                    (patient ?D ?F))))))
Food.kif 191-201
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12638-12644
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 10364-10369


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