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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Beverage
Madeira, May_wine, Turkish_coffee, alcoholic, beverage, brew, brewage, bubbling, bubbly, buck's_fizz, cafe_royale, camomile_tea, carbonated, cassareep, cassiri, champagne_cup, chaser, chocolate, chocolate_milk, claret_cup, cocoa, coconut_cream, coconut_milk, coffee_royal, criollo, cup, draft, draught, drink, drinkable, drinking_chocolate, dry, effervescent, effervescing, eggnog, eggshake, fellow, fish_house_punch, fizz, flat, float, foaming, foamy, formula, frappe, frothy, fruit_punch, gin_rickey, glogg, hard...

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 294-295
(externalImage Beverage " 55/ FountainSoda.jpg") pictureList.kif 888-888
(roomTempState Beverage Liquid) Mid-level-ontology.kif 31318-31318 roomTempState beverage and liquid
(subclass Beverage Colloid) Food.kif 292-292 Beverage is a subclass of colloid
(subclass Beverage PreparedFood) Food.kif 291-291 Beverage is a subclass of prepared food

appearance as argument number 2

(disjoint Meat Beverage) Food.kif 293-293 Meat is disjoint from beverage
(disjoint Soup Beverage) Food.kif 1068-1068 Soup is disjoint from beverage
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10858-10858 Alcoholic beverage is a subclass of beverage
(subclass Chocolate Beverage) Food.kif 1662-1662 Chocolate is a subclass of beverage
(subclass Coffee Beverage) Food.kif 520-520 Coffee is a subclass of beverage
(subclass OnePercentMilk Beverage) Food.kif 2111-2111 One percent milk is a subclass of beverage
(subclass ProcessedGoatMilk Beverage) Food.kif 2192-2192 ProcessedGoatMilk is a subclass of beverage
(subclass ProcessedMilk Beverage) Food.kif 1972-1972 Processed gaot milk is a subclass of beverage
(subclass SemiSkimmedMilk Beverage) Food.kif 2136-2136 Semi skimmed milk is a subclass of beverage
(subclass SkimmedMilk Beverage) Food.kif 2162-2162 Skimmed milk is a subclass of beverage
(subclass Soda Beverage) Food.kif 2575-2575 Soda is a subclass of beverage
(subclass Tea Beverage) Food.kif 1183-1183 Tea is a subclass of beverage
(subclass TwoPercentMilk Beverage) Food.kif 2086-2086 Two percent milk is a subclass of beverage
(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 225-225
(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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


    (instance ?BEV Beverage)
    (attribute ?BEV Liquid))
Food.kif 297-299


        (instance ?CUP DrinkingCup)
        (contains ?CUP ?STUFF))
    (instance ?STUFF Beverage))
Mid-level-ontology.kif 4687-4691
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Food.kif 301-305
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))
Dining.kif 208-212
        (instance ?ORG Organization)
        (attribute ?ORG BeverageAndTobaccoProductManufacturing))
    (exists (?EV ?MEM)
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                    (instance ?EV Manufacture)
                        (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
        (instance ?ORG Organization)
        (attribute ?ORG FoodAndBeverageStores))
    (exists (?EV ?MEM)
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                    (instance ?EV Selling)
                        (instance ?THING
                            (FoodForFn Animal))
                        (instance ?THING Beverage))
                    (patient ?EV ?THING))))))
naics.kif 7319-7333
        (instance ?V Vending)
        (objectTransferred ?V ?O)
            (instance ?O Currency)))
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))
Mid-level-ontology.kif 1958-1967
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))
Food.kif 233-250

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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