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 is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 390-390 | Beverage is a subclass of colloid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10905-10905 | Alcoholic beverage is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4808-4808 | Pedialyte is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 628-628 | Coffee is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1805-1805 | Tea is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1820-1820 | Caffeinate free tea is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2827-2827 | Processed milk is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3043-3043 | Processed gaot milk is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3431-3431 | Soda is a subclass of beverage |