No TPTP formula. May not be expressible in strict first order. | Food.kif 2364-2364 | TropicalFruit e' uma sub-classe de Fruit |
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 |