No TPTP formula. May not be expressible in strict first order. | Economy.kif 4206-4206 | Vegetable est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2425-2425 | Celery est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3647-3647 | WaterChestnut est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3649-3649 | Zucchini est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4210-4210 | LeafyGreenVegetable est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4220-4220 | Cucumber est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4234-4234 | Cabbage est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4262-4262 | Cauliflower est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4271-4271 | Eggplant est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4332-4332 | SweetPepper est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4333-4333 | Squash est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4334-4334 | SugarBeet est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4352-4352 | SugarCane est une sous-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4464-4464 | Ginger est une sous-classe de Vegetable |