| No TPTP formula. May not be expressible in strict first order. | Dining.kif 208-212 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 389-389 | 子類 Beverage and 已準備食物 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 390-390 | 子類 Beverage and 膠體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10905-10905 | 子類 酒精飲料 and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4808-4808 | 子類 Pedialyte and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 628-628 | 子類 咖啡 and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1805-1805 | 子類 茶 and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1820-1820 | 子類 CaffeinateFreeTea and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2827-2827 | 子類 ProcessedMilk and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3043-3043 | 子類 ProcessedGoatMilk and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3431-3431 | 子類 Soda and Beverage |
|
|