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
No TPTP formula. May not be expressible in strict first order. Merge.kif 10416-10420
No TPTP formula. May not be expressible in strict first order. Food.kif 399-403
No TPTP formula. May not be expressible in strict first order. Food.kif 3624-3639

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21375-21381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9879-9890
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4823-4840


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