| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1322-1326 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11421-11421 | 子類 Putting and Transfer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 676-676 | 子類 部署大規模殺傷性武器 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5484-5484 | 子類 隱瞞 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5499-5499 | 子類 調味料 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17886-17886 | 子類 安裝 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17992-17992 | 子類 掩埋 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18036-18036 | 子類 埋葬 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19613-19613 | 子類 稀釋 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11436-11436 | 子類 Covering and Putting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11442-11442 | 子類 插入 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12769-12769 | 子類 Wetting and Putting |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2577-2577 | 子類 種植 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2923-2923 | 子類 淤積 and Putting |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3000-3000 | 子類 Lubricating and Putting |
|
|