Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Drinking
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Drinking Ingesting) | Merge.kif 10518-10518 | Drinking is a subclass of ingesting |
| (documentation Drinking EnglishLanguage "The Process by which liquid food, i.e. Beverages, are incorporated into an Animal.") | Merge.kif 10520-10521 | Drinking is a subclass of ingesting |
| (externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Aiga_drinkingfountain_inv.svg") | pictureList.kif 2666-2666 | Drinking is a subclass of ingesting |
| (externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Alcoholiz%C3%A1ndome_en_Rostock.jpg") | pictureList.kif 2800-2800 | Drinking is a subclass of ingesting |
| (externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Heikki_Kovalainen_2007_Brazil_1.jpg") | pictureList.kif 2801-2801 | Drinking is a subclass of ingesting |
| (externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") | pictureList.kif 2802-2802 | Drinking is a subclass of ingesting |
| (externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/6/ 64/ Cassatt_Mary_Tea_1879-1880.jpg") | pictureList.kif 2803-2803 | Drinking is a subclass of ingesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Drinking "drinking") | english_format.kif 1377-1377 |
| antecedent |
|
|
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10523-10527 | If X is an instance of drinking and Y is a resource for X, then liquid is an attribute of Y |
| (=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT)))) |
Dining.kif 130-150 | If All of the following hold: (1) X is a customer of Y (2) X charges Z in corkage for W (3) V is an instance of W (4) there doesn't exist U such that U is an instance of buying, V is a patient of U, U ends up at Y, and U originates at X (5) T is an instance of drinking (6) Y is an agent of T (7) V is a resource for T, then there exists S such that S is an instance of corkage, Y is an agent of S, S includes a reference to V, and S ends up at 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 |
| (=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T ?H) (and (instance ?C Cask) (instance ?H HoleRegion) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 3654-3669 | If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z |
| consequent |
|
|
| (=> (holdsDuring ?TIME (attribute ?PERSON Drunk)) (exists (?PAST) (and (temporalPart ?PAST (PastFn ?TIME)) (holdsDuring ?PAST (exists (?DRINK ?ALCOHOL) (and (instance ?DRINK Drinking) (patient ?DRINK ?ALCOHOL) (instance ?ALCOHOL AlcoholicBeverage) (agent ?DRINK ?PERSON))))))) |
Mid-level-ontology.kif 10033-10044 | If drunk is an attribute of X holds during Y, then there exists Z such that Z is a part of before Y, there exist W, V such that W is an instance of drinking, V is a patient of W, V is an instance of alcoholic beverage, and X is an agent of W holds during Z |
| (=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 21706-21712 | If thirsty is an attribute of X, then X desires there exists Y such that Y is an instance of drinking and X is an agent of Y |
| (=> (instance ?P Pedialyte) (hasPurpose ?P (exists (?C ?D ?V ?DR) (and (instance ?C HumanChild) (instance ?D Diarrhea) (instance ?V Vomiting) (or (and (experiencer ?D ?C) (earlier (WhenFn ?D) (WhenFn ?DR))) (and (experiencer ?V ?C) (earlier (WhenFn ?V) (WhenFn ?DR)))) (instance ?DR Drinking) (agent ?DR ?C) (objectTransferred ?DR ?P))))) |
Medicine.kif 4837-4854 | If X is an instance of Pedialyte, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of human child (3) Z is an instance of diarrhea (4) W is an instance of vomiting (5) Y experiences Z (6) the time of existence of Z happens earlier than the time of existence of V or Y experiences W (7) the time of existence of W happens earlier than the time of existence of V (8) V is an instance of drinking (9) Y is an agent of V (10) the object transferred in V is X |
| (=> (instance ?WT WineTasting) (hasPurpose ?WT (exists (?D ?W) (and (instance ?D Drinking) (patient ?D ?W) (instance ?W Wine) (located ?D ?WT))))) |
Offers.kif 339-347 | If X is an instance of WineTasting, 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 wine, and Y is located at X |
| (=> (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 |
|
