Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Beverage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Beverage PreparedFood) | Mid-level-ontology.kif 2579-2579 | Beverage is a subclass of food |
| (subclass Beverage Colloid) | Mid-level-ontology.kif 2580-2580 | 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.") | Mid-level-ontology.kif 2581-2582 | Beverage is a subclass of colloid |
| (roomTempState Beverage Liquid) | Mid-level-ontology.kif 33916-33916 | room temperature state beverage and liquid |
| (externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg") | pictureList.kif 888-888 | room temperature state beverage and liquid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BEV Beverage) (attribute ?BEV Liquid)) |
Food.kif 371-373 | 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 2585-2594 | 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 5316-5322 | 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 313-330 | 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 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 375-379 | 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 |
|
