No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20062-20062 |
Herbivore e' disjunto de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20276-20276 |
Badger e' uma sub-classe de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20291-20291 |
Bear e' uma sub-classe de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14633-14633 |
Canino e' uma sub-classe de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14638-14638 |
Felino e' uma sub-classe de Carnivoro |
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 |
|