| 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. |
Mid-level-ontology.kif 6563-6563 |
Drooling 是 驱动 的 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 10713-10713 |
HeartBeat 是 驱动 的 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. |
Geography.kif 2298-2298 |
滑坡 是 驱动 的 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. |
Merge.kif 11474-11474 |
射击 是 驱动 的 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 17078-17078 |
投掷 是 驱动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1125-1125 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1467-1467 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 803-803 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 335-335 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 338-338 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2487-2487 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 755-755 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 340-340 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 374-374 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 824-824 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 339-339 |
|
Impelling