| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12478-12478 | 子類 Combining and DualObjectProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1896-1896 | 子類 曝氣 and Combining |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17528-17528 | 子類 攪拌 and Combining |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12545-12545 | 子類 ChemicalSynthesis and Combining |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2472-2472 | 子類 酸化 and Combining |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | 子類 鹽鹼 and Combining |
|
|