Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Drinking

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 摄入流质食物,即是 BeverageProcess。") 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
(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))
Merge.kif 10183-10187
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Mid-level-ontology.kif 20890-20894
(=>
    (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

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


(=>
    (attribute ?A Thirsty)
    (desires ?A
        (exists (?D)
            (and
                (instance ?D Drinking)
                (agent ?D ?A)))))
Mid-level-ontology.kif 19154-19160
(=>
    (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


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