No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20062-20062 |
草食动物 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20276-20276 |
Badger 是 食肉动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20291-20291 |
Bear 是 食肉动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14633-14633 |
犬 是 食肉动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14638-14638 |
猫科动物 是 食肉动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 994-994 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1195-1195 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 671-671 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 202-202 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 205-205 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2355-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 623-623 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 239-239 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 692-692 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 206-206 |
|