TreeView Knowledge Base Browser - Drinking

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Drinking

Drinking(drinking)

more pictures...

allay, assuage, bar_hop, belt_down, bib, bolt, bolt_down, booze, boozing, carry, claret, crapulence, deglutition, degustation, down, draft, drain_the_cup, draught, drench, drink, drink_down, drink_up, drinking, drunkenness, fuddle, gastrogavage, guggle, gulp, gulping, gurgle, guzzle, guzzling, hit_it_up, hold, imbibe, imbibing, imbibition, inebriate, intemperance, intemperateness, kill, lap, lap_up, lick, nasogastric_feeding, pledge, pop, port, potation, pour_down...

appearance as argument number 1

(documentation Drinking ChineseLanguage "这是 Animal 摄入流质食物，即是 Beverage的 Process。")	chinese_format.kif 2910-2911
(documentation Drinking EnglishLanguage "The Process by which liquid food, i.e. Beverages, are incorporated into an Animal.")	Merge.kif 10180-10181
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Alcoholiz%C3%A1ndome_en_Rostock.jpg")	pictureList.kif 2802-2802
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/6/ 64/ Cassatt_Mary_Tea_1879-1880.jpg")	pictureList.kif 2805-2805
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Humanitarian_aid_OCPA-2005-10-28-090517a.jpg")	pictureList.kif 2804-2804
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Heikki_Kovalainen_2007_Brazil_1.jpg")	pictureList.kif 2803-2803
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Aiga_drinkingfountain_inv.svg")	pictureList.kif 2668-2668
(subclass Drinking Ingesting)	Merge.kif 10178-10178	Drinking is a subclass of ingesting

appearance as argument number 2

(termFormat ChineseLanguage Drinking "饮")	chinese_format.kif 1081-1081
(termFormat EnglishLanguage Drinking "drinking")	english_format.kif 1373-1373

antecedent

(=> (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 a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another process is an instance of drinking and the other cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the cognitive agent
(=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid))	Merge.kif 10183-10187	If a process is an instance of drinking and an object is a resource for the process, then liquid is an attribute of the object
(=> (and (instance ?DRINK Drinking) (patient ?DRINK ?BEV)) (instance ?BEV Beverage))	Mid-level-ontology.kif 20890-20894	If a process is an instance of drinking and an entity is a patient of the process, then the entity is an instance of beverage
(=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T) (and (instance ?C Cask) (instance ?H Hole) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR))))	Food.kif 1030-1045	If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking, then there exist a self connected object and a third time interval such that the self connected object is an instance of Cask and a hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR

consequent

(=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A)))))	Mid-level-ontology.kif 19154-19160	If Thirsty is an attribute of a cognitive agent, then the cognitive agent desires there exists an entity such that the entity is an instance of drinking and the cognitive agent is an agent of the entity
(=> (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 8276-8287	If drunk is an attribute of an entity holds during a time position, then there exists another time position such that the other time position is a part of before the time position and there exist another entity and a third entity such that the other entity is an instance of drinking and the third entity is a patient of the other entity and the third entity is an instance of alcoholic beverage and the entity is an agent of the other entity holds during the other time position

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners