Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AppraisalOfGoalImportance

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners