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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Beverage
Beverage(Bebida)

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


(documentation Beverage EnglishLanguage "Any food, excluding water that is ingested by Drinking. Note that this class is disjoint Meat and FruitOrVegetable.") Food.kif 392-393
(externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg") pictureList.kif 888-888
(roomTempState Beverage Liquid) Mid-level-ontology.kif 31417-31417 roomTempState Bebida and Liquid
(subclass Beverage Colloid) Food.kif 390-390 Bebida e' uma sub-classe de Colloid
(subclass Beverage PreparedFood) Food.kif 389-389 Bebida e' uma sub-classe de PreparedFood

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


(disjoint Meat Beverage) Food.kif 391-391 Carne e' disjunto de Bebida
(disjoint Soup Beverage) Food.kif 1648-1648 Soup e' disjunto de Bebida
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10905-10905 AlcoholicBeverage e' uma sub-classe de Bebida
(subclass CaffeinateFreeTea Beverage) Food.kif 1820-1820 CaffeinateFreeTea e' uma sub-classe de Bebida
(subclass Coffee Beverage) Food.kif 628-628 Coffee e' uma sub-classe de Bebida
(subclass Pedialyte Beverage) Medicine.kif 4808-4808 Pedialyte e' uma sub-classe de Bebida
(subclass ProcessedGoatMilk Beverage) Food.kif 3043-3043 ProcessedGoatMilk e' uma sub-classe de Bebida
(subclass ProcessedMilk Beverage) Food.kif 2827-2827 ProcessedMilk e' uma sub-classe de Bebida
(subclass Soda Beverage) Food.kif 3431-3431 Soda e' uma sub-classe de Bebida
(subclass Tea Beverage) Food.kif 1805-1805 Tea e' uma sub-classe de Bebida
(termFormat ChineseLanguage Beverage "饮料") chinese_format.kif 1015-1015
(termFormat EnglishLanguage Beverage "beverage") english_format.kif 1242-1242
(termFormat FrenchLanguage Beverage "boisson") french_format.kif 693-693
(termFormat Hindi Beverage "peya") terms-hindi.txt 224-224
(termFormat ItalianLanguage Beverage "Bevanda") terms-it.txt 227-227
(termFormat JapaneseLanguage Beverage "飲料") japanese_format.kif 2376-2376
(termFormat PortugueseLanguage Beverage "Bebida") portuguese_format.kif 645-645
(termFormat cb Beverage "ilimnon") terms-cb.txt 229-229
(termFormat cz Beverage "beverage") terms-cz.txt 262-262
(termFormat ro Beverage "bãuturã") relations-ro.kif 714-714
(termFormat tg Beverage "inumin") terms-tg.txt 228-228

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


(=>
    (instance ?BEV Beverage)
    (attribute ?BEV Liquid))		 Food.kif 395-397

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


(=>
    (and
        (instance ?CUP DrinkingCup)
        (contains ?CUP ?STUFF))
    (instance ?STUFF Beverage))		 Mid-level-ontology.kif 4715-4719
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))		 Food.kif 399-403
(=>
    (and
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))		 Dining.kif 208-212
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG BeverageAndTobaccoProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Beverage)
                        (instance ?THING TobaccoProduct))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 1837-1855
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FoodAndBeverageStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (or
                        (instance ?THING
                            (FoodForFn Animal))
                        (instance ?THING Beverage))
                    (patient ?EV ?THING))))))		 naics.kif 7319-7333
(=>
    (and
        (instance ?V Vending)
        (objectTransferred ?V ?O)
        (not
            (instance ?O Currency)))
    (modalAttribute
        (or
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))		 Mid-level-ontology.kif 1986-1995
(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))		 Food.kif 331-348


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