| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14723-14723 | 子類 Solution and 液體混合物 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1710-1710 | 子類 汽油 and Solution |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1715-1715 | 子類 柴油燃料 and Solution |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8770-8770 | 子類 生理鹽水 and Solution |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1214-1214 | 子類 Antifreeze and Solution |
|
|