| 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 | 饮料 是 已准备食物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 390-390 | 饮料 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10905-10905 | 酒精饮料 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4808-4808 | Pedialyte 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 628-628 | 咖啡 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1805-1805 | 茶 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1820-1820 | CaffeinateFreeTea 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2827-2827 | ProcessedMilk 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3043-3043 | ProcessedGoatMilk 是 饮料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3431-3431 | Soda 是 饮料 的 subclass |
|
|