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 10272-10273
(documentation Drinking EnglishLanguage "The Process by which liquid food, i.e. Beverages, are incorporated into an Animal.") Merge.kif 10270-10271
(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 10269-10269

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


(termFormat ChineseLanguage Drinking "饮") chinese_format.kif 1081-1081
(termFormat EnglishLanguage Drinking "drinking") english_format.kif 768-768
(termFormat FrenchLanguage Drinking "boire") french_format.kif 759-759
(termFormat Hindi Drinking "pInaa") terms-hindi.txt 291-291
(termFormat ItalianLanguage Drinking "Bere") terms-it.txt 292-292
(termFormat PortugueseLanguage Drinking "Beber") portuguese_format.kif 711-711
(termFormat cb Drinking "pag-inum") terms-cb.txt 296-296
(termFormat cz Drinking "drinking") terms-cz.txt 330-330
(termFormat tg Drinking "umiinom") terms-tg.txt 295-295

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


(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))
Merge.kif 10274-10278
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Mid-level-ontology.kif 19174-19178
(=>
    (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 17530-17536
(=>
    (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
(=>
    (instance ?BT BeverageTasting)
    (hasPurpose ?BT
        (exists (?D ?B)
            (and
                (instance ?D Drinking)
                (patient ?D ?B)
                (instance ?B Beverage)
                (located ?D ?BT)))))
Offers.kif 341-349
(=>
    (instance ?WT WineTasting)
    (hasPurpose ?WT
        (exists (?D ?W)
            (and
                (instance ?D Drinking)
                (patient ?D ?W)
                (instance ?W Wine)
                (located ?D ?WT)))))
Offers.kif 327-335


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