| 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 11399-11399 | 放 是 转移 的 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 5485-5485 | 隐瞒 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5500-5500 | 调味料 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17887-17887 | 安装 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17993-17993 | 掩埋 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18037-18037 | 埋葬 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19614-19614 | 稀释 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11414-11414 | 遮盖 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11420-11420 | 插入 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12747-12747 | 润湿 是 放 的 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 2994-2994 | Lubricating 是 放 的 subclass |
|
|