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。") chinese_format.kif 2910-2911
(documentation Drinking EnglishLanguage "The Process by which liquid food, i.e. Beverages, are incorporated into an Animal.") Merge.kif 10273-10274
(documentation Drinking JapaneseLanguage "流動食、つまり Beverages は、Animal に組み込ま れている。") japanese_format.kif 1659-1660
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Alcoholiz%C3%A1ndome_en_Rostock.jpg") pictureList.kif 2801-2801
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/6/ 64/ Cassatt_Mary_Tea_1879-1880.jpg") pictureList.kif 2804-2804
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") pictureList.kif 2803-2803
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Heikki_Kovalainen_2007_Brazil_1.jpg") pictureList.kif 2802-2802
(externalImage Drinking "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Aiga_drinkingfountain_inv.svg") pictureList.kif 2667-2667
(subclass Drinking Ingesting) Merge.kif 10271-10271 飲酒摂取subclass では %n

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


(termFormat ChineseLanguage Drinking "饮") chinese_format.kif 1081-1081
(termFormat EnglishLanguage Drinking "drinking") english_format.kif 1373-1373
(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 294-294
(termFormat JapaneseLanguage Drinking "飲酒") japanese_format.kif 2443-2443
(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 ro Drinking "procesul de a bea") relations-ro.kif 780-780
(termFormat tg Drinking "umiinom") terms-tg.txt 295-295

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 10276-10280
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Food.kif 399-403
(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T ?H)
        (and
            (instance ?C Cask)
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))
Food.kif 3617-3632

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


(=>
    (attribute ?A Thirsty)
    (desires ?A
        (exists (?D)
            (and
                (instance ?D Drinking)
                (agent ?D ?A)))))
Mid-level-ontology.kif 19804-19810
(=>
    (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 8673-8684
(=>
    (instance ?P Pedialyte)
    (hasPurpose ?P
        (exists (?C ?D ?V ?DR)
            (and
                (instance ?C HumanChild)
                (instance ?D Diarrhea)
                (instance ?V Vomiting)
                (or
                    (and
                        (experiencer ?D ?C)
                        (earlier
                            (WhenFn ?D)
                            (WhenFn ?DR)))
                    (and
                        (experiencer ?V ?C)
                        (earlier
                            (WhenFn ?V)
                            (WhenFn ?DR))))
                (instance ?DR Drinking)
                (agent ?DR ?C)
                (objectTransferred ?DR ?P)))))
Medicine.kif 4816-4833


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