| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11490-11490 | 驱动 是 转移 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6548-6548 | 吐痰 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6562-6562 | Drooling 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6616-6616 | 冲压 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6632-6632 | 踢 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10712 | HeartBeat 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17018-17018 | 游戏镜头 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17077-17077 | 投掷 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | 射击 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2292-2292 | 雪崩过程 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2298-2298 | 滑坡 是 驱动 的 subclass |
|
|