TreeView Knowledge Base Browser - ChemicalDecomposition

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	If an object is a resource for a process and an entity is a result of the process and the object is an instance of compound substance and the entity is an instance of elemental substance, then the process is an instance of chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10212-10217	If a process is an instance of digesting, then there exists another process such that the other process is an instance of chemical decomposition and the other process is a subprocess of the process

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