Drinking - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2910-2911
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10413-10414
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1659-1660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2800-2800
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2803-2803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2802-2802
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2801-2801
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2666-2666
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10411-10411	Drinking is a subclass of ingesting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1081-1081
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1373-1373
No TPTP formula. May not be expressible in strict first order.	french_format.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 291-291
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 294-294
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2443-2443
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 711-711
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 296-296
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 330-330
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 589-589
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 780-780
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 295-295

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	If an agent is a customer of a cognitive agent and the 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 cognitive agent and the process originates at the agent and another process is an instance of drinking and the 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 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 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10416-10420	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 399-403	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 3624-3639	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, a third time interval and a hole such that the self connected object is an instance of cask and the 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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21375-21381	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9879-9890	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4823-4840	If a physical is an instance of Pedialyte, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityR such that the entity is an instance of human child and the other entity is an instance of diarrhea and the third entity is an instance of vomiting and the entity experiences the other entity and the time of existence of the other entity happens earlier than the time of existence of the other entityR or the entity experiences the third entity and the time of existence of the third entity happens earlier than the time of existence of the other entityR and the other entityR is an instance of drinking and the entity is an agent of the other entityR and the object transferred in the other entityR is the physical

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

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