No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20334-20334 |
Kangaroo e' uma sub-classe de Marsupial |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 993-993 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1193-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 670-670 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 201-201 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2354-2354 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 622-622 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 238-238 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 691-691 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 205-205 |
|