(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage)) |
Dining.kif 208-212 | |
(subclass Beverage PreparedFood) | Food.kif 389-389 | |
(subclass Beverage Colloid) | Food.kif 390-390 | |
(subclass AlcoholicBeverage Beverage) | Mid-level-ontology.kif 10932-10932 | |
(subclass Pedialyte Beverage) | Medicine.kif 4808-4808 | |
(subclass Coffee Beverage) | Food.kif 628-628 | |
(subclass Tea Beverage) | Food.kif 1805-1805 | |
(subclass CaffeinateFreeTea Beverage) | Food.kif 1820-1820 | |
(subclass ProcessedMilk Beverage) | Food.kif 2827-2827 | |
(subclass ProcessedGoatMilk Beverage) | Food.kif 3043-3043 | |
(subclass Soda Beverage) | Food.kif 3431-3431 |