Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12848-12848 Chemical decomposition is a subclass of chemical process
(subclass ChemicalDecomposition Separating) Merge.kif 12849-12849 Chemical decomposition is a subclass of separating
(documentation ChemicalDecomposition EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.") Merge.kif 12850-12851 Chemical decomposition is a subclass of separating

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


(subclass Combustion ChemicalDecomposition) Merge.kif 12861-12861 Burning is a subclass of chemical decomposition
(subclass CatabolicProcess ChemicalDecomposition) Mid-level-ontology.kif 11539-11539 Catabolic process is a subclass of chemical decomposition
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") english_format.kif 1563-1563 Catabolic process is a subclass of chemical decomposition

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


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

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


(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))		 Merge.kif 10546-10551 If X is an instance of digesting, then there exists Y such that Y is an instance of chemical decomposition and Y is a subprocess of X
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))		 Merge.kif 12853-12859 If X is a resource for Y, Z is a result of Y, X is an instance of compound substance, and Z is an instance of elemental substance, then Y is an instance of chemical decomposition
(=>
    (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 If X is an instance of preserving food, Y is an instance of food, and Y is a patient of X, then X has the purpose there doesn't exist Z such that Z is an instance of chemical decomposition and Y is a patient of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners