No TPTP formula. May not be expressible in strict first order. |
Food.kif 2366-2366 |
Banana e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2368-2368 |
Breadfruit e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2370-2370 |
Coconut e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2375-2375 |
DateFruit e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2377-2377 |
Mango e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2379-2379 |
Papaw e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2383-2383 |
Papaya e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2385-2385 |
PassionFruit e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2387-2387 |
Pineapple e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2389-2389 |
Plantain e' uma sub-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59254-59254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59253-59253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59252-59252 |
|