No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | 驱动 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6549-6549 | 吐痰 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6563-6563 | Drooling 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6617-6617 | 冲压 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6633-6633 | 踢 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10713-10713 | HeartBeat 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | 游戏镜头 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17078-17078 | 投掷 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11474-11474 | 射击 是 驱动 的 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 |