No TPTP formula. May not be expressible in strict first order. |
Food.kif 292-292 |
Viande est disjoint de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4307-4307 |
CerealStarch est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4625-4625 |
CoffeeBean est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1029-1029 |
CoffeeGrind est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4469-4469 |
EdibleNut est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1470-1470 |
Flour est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4149-4149 |
Grain est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3323-3323 |
Raisin est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4312-4312 |
RootStarch est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4360-4360 |
Spice est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3509-3509 |
Tofu est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4556-4556 |
VegetableOil est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 297-297 |
|