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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalDecomposition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3187-3188
No TPTP formula. May not be expressible in strict first order. Merge.kif 12328-12329
No TPTP formula. May not be expressible in strict first order. Merge.kif 12326-12326 Chemical decomposition is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12327-12327 Chemical decomposition is a subclass of separating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9666-9666 Catabolic process is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 12339-12339 Combustion is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18953-18953 Oxidation is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1171-1171
No TPTP formula. May not be expressible in strict first order. english_format.kif 1559-1559

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12272-12272 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12331-12337
No TPTP formula. May not be expressible in strict first order. Merge.kif 10212-10217


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 is open source software produced by Articulate Software and its partners