| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12580-12580 | 子類 ChemicalDecomposition and ChemicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12581-12581 | 子類 ChemicalDecomposition and Separating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10093-10093 | 子類 CatabolicProcess and ChemicalDecomposition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19578-19578 | 子類 氧化 and ChemicalDecomposition |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12593-12593 | 子類 Combustion and ChemicalDecomposition |
|
|