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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Beverage

Sigma KEE - Beverage
Beverage(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 that is ingested by Drinking. Note that this class is disjoint Meat and FruitOrVegetable.") Mid-level-ontology.kif 20883-20884
(externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg") pictureList.kif 889-889
(subclass Beverage LiquidFood) Mid-level-ontology.kif 20880-20880 Beverage is a subclass of liquid food
(subclass Beverage Substance) Mid-level-ontology.kif 20881-20881 Beverage is a subclass of substance

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


(disjoint Meat Beverage) Mid-level-ontology.kif 20882-20882 Meat is disjoint from beverage
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10408-10408 Alcoholic beverage is a subclass of beverage
(subclass Coffee Beverage) Mid-level-ontology.kif 21095-21095 Coffee is a subclass of beverage
(subclass Milk Beverage) Mid-level-ontology.kif 10366-10366 Milk is a subclass of beverage
(subclass Soda Beverage) Food.kif 848-848 Soda is a subclass of beverage
(subclass Tea Beverage) Mid-level-ontology.kif 10403-10403 Tea is a subclass of beverage
(termFormat ChineseLanguage Beverage "饮料") chinese_format.kif 1015-1015
(termFormat EnglishLanguage Beverage "beverage") english_format.kif 1242-1242

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


(=>
    (instance ?BEV Beverage)
    (attribute ?BEV Liquid))
Mid-level-ontology.kif 20886-20888

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


(=>
    (and
        (instance ?CUP DrinkingCup)
        (contains ?CUP ?STUFF))
    (instance ?STUFF Beverage))
Mid-level-ontology.kif 4449-4453
(=>
    (and
        (instance ?DRINK Drinking)
        (patient ?DRINK ?BEV))
    (instance ?BEV Beverage))
Mid-level-ontology.kif 20890-20894
(=>
    (and
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))
Dining.kif 204-208
(=>
    (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 1941-1950
(=>
    (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))))
Mid-level-ontology.kif 26312-26329


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