| 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 | 放 是 转移 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 676-676 | 部署大规模杀伤性武器 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5484-5484 | 隐瞒 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5499-5499 | 调味料 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17886-17886 | 安装 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17992-17992 | 掩埋 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18036-18036 | 埋葬 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19613-19613 | 稀释 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11436-11436 | 遮盖 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11442-11442 | 插入 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12769-12769 | 润湿 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2577-2577 | 种植 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2923-2923 | 淤积 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3000-3000 | Lubricating 是 放 的 subclass |
|
|