No TPTP formula. May not be expressible in strict first order. |
Food.kif 292-292 |
不相交的 Meat 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 4625-4625 |
子類 咖啡豆 and FoodFromPlant |
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. |
Economy.kif 4469-4469 |
子類 食用堅果 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. |
Economy.kif 4149-4149 |
子類 Grain 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. |
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. |
Food.kif 3509-3509 |
子類 Tofu 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. |
Food.kif 297-297 |
|