No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20063-20063 |
Herbivore is disjoint from carnivore |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20277-20277 |
Badger is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20292-20292 |
Bear is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14611-14611 |
Canine is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14616-14616 |
Feline is a subclass of carnivore |
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 |
|