No TPTP formula. May not be expressible in strict first order. | Food.kif 2364-2364 | TropicalFruit est une sous-classe de Fruit |
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 |