| No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | FoodFromPlant e' uma sub-classe de Comida |
| 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. | Food.kif 1470-1470 | Flour 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. | Food.kif 3509-3509 | Tofu 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. | Economy.kif 4307-4307 | CerealStarch 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. | Economy.kif 4469-4469 | EdibleNut 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. | Economy.kif 4625-4625 | CoffeeBean e' uma sub-classe de FoodFromPlant |
|
|