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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Drinking
Drinking
more pictures...

appearance as argument number 1
-------------------------


(documentation Drinking ChineseLanguage "这是 Animal 摄入流质食物,即是 BeverageProcess。") Merge.kif 10330-10331
(documentation Drinking EnglishLanguage "The Process by which liquid food, i.e. Beverages, are incorporated into an Animal.") Merge.kif 10328-10329
(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 10327-10327

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Drinking "饮") chinese_format.kif 1081-1081
(termFormat EnglishLanguage Drinking "drinking") english_format.kif 1314-1314
(termFormat JapaneseLanguage Drinking "飲酒") english_format.kif 1315-1315

antecedent
-------------------------


(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))
Merge.kif 10332-10336
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Mid-level-ontology.kif 19232-19236
(=>
    (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 1085-1100

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners