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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Beverage
Beverage(boisson)

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 33364-33364 roomTempState boisson and Liquid
(subclass Beverage Colloid) Food.kif 390-390 Boisson est une sous-classe de Colloid
(subclass Beverage PreparedFood) Food.kif 389-389 Boisson est une sous-classe de PreparedFood

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


(disjoint Meat Beverage) Food.kif 391-391 Viande est disjoint de boisson
(disjoint Soup Beverage) Food.kif 1654-1654 Soup est disjoint de boisson
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 12236-12236 AlcoholicBeverage est une sous-classe de boisson
(subclass CaffeinateFreeTea Beverage) Food.kif 1826-1826 CaffeinateFreeTea est une sous-classe de boisson
(subclass Coffee Beverage) Food.kif 628-628 Coffee est une sous-classe de boisson
(subclass Pedialyte Beverage) Medicine.kif 4815-4815 Pedialyte est une sous-classe de boisson
(subclass ProcessedGoatMilk Beverage) Food.kif 3050-3050 ProcessedGoatMilk est une sous-classe de boisson
(subclass ProcessedMilk Beverage) Food.kif 2834-2834 ProcessedMilk est une sous-classe de boisson
(subclass Soda Beverage) Food.kif 3438-3438 Soda est une sous-classe de boisson
(subclass Tea Beverage) Food.kif 1811-1811 Tea est une sous-classe de boisson
(termFormat ChineseLanguage Beverage "饮料") chinese_format.kif 1015-1015 Tea est une sous-classe de boisson
(termFormat EnglishLanguage Beverage "beverage") english_format.kif 1242-1242 Tea est une sous-classe de boisson
(termFormat FrenchLanguage Beverage "boisson") french_format.kif 693-693 Tea est une sous-classe de boisson
(termFormat Hindi Beverage "peya") terms-hindi.txt 224-224 Tea est une sous-classe de boisson
(termFormat ItalianLanguage Beverage "Bevanda") terms-it.txt 227-227 Tea est une sous-classe de boisson
(termFormat JapaneseLanguage Beverage "飲料") japanese_format.kif 2376-2376 Tea est une sous-classe de boisson
(termFormat PortugueseLanguage Beverage "Bebida") portuguese_format.kif 645-645 Tea est une sous-classe de boisson
(termFormat cb Beverage "ilimnon") terms-cb.txt 229-229 Tea est une sous-classe de boisson
(termFormat cz Beverage "beverage") terms-cz.txt 262-262 Tea est une sous-classe de boisson
(termFormat de Beverage "Getraenk") terms-de.txt 521-521 Tea est une sous-classe de boisson
(termFormat ro Beverage "bãuturã") relations-ro.kif 714-714 Tea est une sous-classe de boisson
(termFormat tg Beverage "inumin") terms-tg.txt 228-228 Tea est une sous-classe de boisson

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 5160-5164
(=>
    (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 2449-2458
(=>
    (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