No TPTP formula. May not be expressible in strict first order. |
Food.kif 2366-2366 |
Banana est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2368-2368 |
Breadfruit est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2370-2370 |
Coconut est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2375-2375 |
DateFruit est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2377-2377 |
Mango est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2379-2379 |
Papaw est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2383-2383 |
Papaya est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2385-2385 |
PassionFruit est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2387-2387 |
Pineapple est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2389-2389 |
Plantain est une sous-classe de TropicalFruit |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59252-59252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59251-59251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59250-59250 |
|