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