| Beverage(beverage)
| | Madeira, May_wine, Turkish_coffee, alcoholic, beverage, brew, brewage, bubbling, bubbly, buck's_fizz, cafe_royale, camomile_tea, carbonated, cassareep, cassiri, champagne_cup, chaser, chocolate, chocolate_milk, claret_cup, cocoa, coconut_cream, coconut_milk, coffee_royal, criollo, cup, draft, draught, drink, drinkable, drinking_chocolate, dry, effervescent, effervescing, eggnog, eggshake, fellow, fish_house_punch, fizz, flat, float, foaming, foamy, formula, frappe, frothy, fruit_punch, gin_rickey, glogg, hard... |
| appearance as argument number 1 |
|
|
| (roomTempState Beverage Liquid) | Mid-level-ontology.kif 34143-34143 | room temperature state beverage and liquid |
| (subclass Beverage PreparedFood) | Food.kif 389-389 | Beverage is a subclass of prepared food |
| (subclass Beverage Colloid) | Food.kif 390-390 | Beverage is a subclass of colloid |
| (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 | Beverage is a subclass of colloid |
| (externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg") | pictureList.kif 888-888 | Beverage is a subclass of colloid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BEV Beverage) (attribute ?BEV Liquid)) |
Food.kif 395-397 | If X is an instance of beverage, then liquid is an attribute of X |
| consequent |
|
|
| (=> (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 2467-2476 | If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
| (=> (instance ?CUP DrinkingCup) (hasPurpose ?CUP (exists (?STUFF) (and (contains ?CUP ?STUFF) (instance ?STUFF Beverage))))) |
Mid-level-ontology.kif 5181-5187 | If X is an instance of drinking cup, then X has the purpose there exists Y such that X contains Y and Y is an instance of beverage |
| (=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage)) |
Dining.kif 208-212 | If X is an instance of drinks menu and Y is in X, then Y is a subclass of beverage |
| (=> (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 | If X is an instance of wet bar, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of wash basin (3) Y is a part of X (4) Z is an instance of object (5) flat is an attribute of Z (6) Z has the purpose there exist W (7) V such that W is an instance of making (8) V is a result of W (9) V is an instance of prepared food or V is an instance of beverage (10) W is located at Z (11) Z is a part of X |
| (=> (and (instance ?DRINK Drinking) (patient ?DRINK ?BEV)) (instance ?BEV Beverage)) |
Food.kif 399-403 | If X is an instance of drinking and Y is a patient of X, then Y is an instance of beverage |
| (=> (instance ?DEVICE CoffeeMaker) (hasPurpose ?DEVICE (exists (?FOOD ?MAKE) (and (instance ?FOOD Beverage) (instance ?MAKE Cooking) (result ?MAKE ?FOOD) (instrument ?MAKE ?DEVICE))))) |
HouseholdAppliances.kif 843-851 | If X is an instance of coffeemaker, then X has the purpose there exist Y, Z such that Y is an instance of beverage, Z is an instance of cooking, Y is a result of Z, and X is an instrument for Z |
| (=> (instance ?DEVICE FoodBlender) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (instance ?RES Mixture) (instance ?RES Beverage) (located ?COOKING ?DEVICE) (result ?COOKING ?RES))))) |
HouseholdAppliances.kif 860-869 | If X is an instance of food blender, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of beverage, Y is located at X, and Z is a result of Y |
| (=> (instance ?BT BeverageTasting) (hasPurpose ?BT (exists (?D ?B) (and (instance ?D Drinking) (patient ?D ?B) (instance ?B Beverage) (located ?D ?BT))))) |
Offers.kif 353-361 | If X is an instance of BeverageTasting, then X has the purpose there exist Y, Z such that Y is an instance of drinking, Z is a patient of Y, Z is an instance of beverage, and Y is located at X |
| (=> (instance ?ITEM BeverageArtifact) (instance ?ITEM Beverage)) |
Society.kif 1355-1357 | If X is an instance of BeverageArtifact, then X is an instance of beverage |
| (=> (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 1831-1849 | If X is an instance of organization and beverage and tobacco product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of beverage or W is an instance of tobacco product (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
| (=> (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 7316-7330 | If X is an instance of organization and food and beverage stores is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of food for animal or W is an instance of beverage, and W is a patient of Y |
|
|
|