| No TPTP formula. May not be expressible in strict first order. | Food.kif 1575-1575 | 子類 CookedDish and 已準備食物 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1580-1580 | 子類 三明治 and CookedDish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1645-1645 | 子類 Soup and CookedDish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2408-2408 | 子類 Calamari and CookedDish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2700-2700 | 子類 Omelette and CookedDish |
|
|