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