Beverage![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Beverage EnglishLanguage "Any food, excluding water that is ingested by Drinking. Note that this class is disjoint Meat and FruitOrVegetable.") | Food.kif 392-393 | |
(externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg") | pictureList.kif 888-888 | |
(roomTempState Beverage Liquid) | Mid-level-ontology.kif 33362-33362 | |
(subclass Beverage Colloid) | Food.kif 390-390 | |
(subclass Beverage PreparedFood) | Food.kif 389-389 |
appearance as argument number 2 |
![]() |
(disjoint Meat Beverage) | Food.kif 391-391 | |
(disjoint Soup Beverage) | Food.kif 1654-1654 | |
(subclass AlcoholicBeverage Beverage) | Mid-level-ontology.kif 12236-12236 | |
(subclass CaffeinateFreeTea Beverage) | Food.kif 1826-1826 | |
(subclass Coffee Beverage) | Food.kif 628-628 | |
(subclass Pedialyte Beverage) | Medicine.kif 4815-4815 | |
(subclass ProcessedGoatMilk Beverage) | Food.kif 3050-3050 | |
(subclass ProcessedMilk Beverage) | Food.kif 2834-2834 | |
(subclass Soda Beverage) | Food.kif 3438-3438 | |
(subclass Tea Beverage) | Food.kif 1811-1811 | |
(termFormat ChineseLanguage Beverage "饮料") | chinese_format.kif 1015-1015 | |
(termFormat EnglishLanguage Beverage "beverage") | english_format.kif 1242-1242 | |
(termFormat FrenchLanguage Beverage "boisson") | french_format.kif 693-693 | |
(termFormat Hindi Beverage "peya") | terms-hindi.txt 224-224 | |
(termFormat ItalianLanguage Beverage "Bevanda") | terms-it.txt 227-227 | |
(termFormat JapaneseLanguage Beverage "飲料") | japanese_format.kif 2376-2376 | |
(termFormat PortugueseLanguage Beverage "Bebida") | portuguese_format.kif 645-645 | |
(termFormat cb Beverage "ilimnon") | terms-cb.txt 229-229 | |
(termFormat cz Beverage "beverage") | terms-cz.txt 262-262 | |
(termFormat de Beverage "Getraenk") | terms-de.txt 521-521 | |
(termFormat ro Beverage "bãuturã") | relations-ro.kif 714-714 | |
(termFormat tg Beverage "inumin") | terms-tg.txt 228-228 |
antecedent |
![]() |
(=> (instance ?BEV Beverage) (attribute ?BEV Liquid)) |
Food.kif 395-397 |
consequent |
![]() |
(=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage)) |
Mid-level-ontology.kif 5160-5164 | |
(=> (and (instance ?DRINK Drinking) (patient ?DRINK ?BEV)) (instance ?BEV Beverage)) |
Food.kif 399-403 | |
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage)) |
Dining.kif 208-212 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG BeverageAndTobaccoProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Beverage) (instance ?THING TobaccoProduct)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1837-1855 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING)))))) |
naics.kif 7319-7333 | |
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 2449-2458 | |
(=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X)))) |
Food.kif 331-348 |
![]() |
![]() |