| 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 and Food |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1029-1029 | 子類 CoffeeGrind and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | 子類 麵粉 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3323-3323 | 子類 Raisin and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3509-3509 | 子類 Tofu and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4149-4149 | 子類 Grain and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4307-4307 | 子類 CerealStarch and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4312-4312 | 子類 根澱粉 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4360-4360 | 子類 香料 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4469-4469 | 子類 食用堅果 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4556-4556 | 子類 植物油 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4625-4625 | 子類 咖啡豆 and FoodFromPlant |
|
|