No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | 子類 Food and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | 子類 Meat and Food |
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 308-308 | 子類 已準備食物 and Food |