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 摄入流质食物,即是 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 9841-9842
(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 9839-9839 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 1378-1378

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 9844-9848
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Mid-level-ontology.kif 19940-19944
(=>
    (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 1048-1063

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


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


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