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 12560-12561
No TPTP formula. May not be expressible in strict first order. Merge.kif 12558-12558 Chemical decomposition is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12559-12559 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 10094-10094 Catabolic process is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 12571-12571 Burning is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19579-19579 Oxidating 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 849-849
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 381-381
No TPTP formula. May not be expressible in strict first order. terms-it.txt 384-384
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2533-2533
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 801-801
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 420-420
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 870-870
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 385-385

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


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

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


No TPTP formula. May not be expressible in strict first order. Food.kif 191-201
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12569
No TPTP formula. May not be expressible in strict first order. Merge.kif 10299-10304


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