No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20090-20090 |
Herbivore e' disjunto de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20304-20304 |
Badger e' uma sub-classe de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20319-20319 |
Bear e' uma sub-classe de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14657-14657 |
Canino e' uma sub-classe de Carnivoro |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14662-14662 |
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 |
|