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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AlcoholicBeverage
AlcoholicBeverage(alcoholic beverage)NADA_daiquiri, Virgin_Mary, alcohol, alcoholic_beverage, alcoholic_drink, bloody_shame, eye_opener, hair_of_the_dog, inebriant, intoxicant, koumiss, kumis, mixed_drink, mixer, nightcap, pruno, refresher, rotgut, slug, smoothie, sundowner

appearance as argument number 1

(documentation AlcoholicBeverage EnglishLanguage "Any Beverage that contains Ethanol.") Mid-level-ontology.kif 10906-10906
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31417-31417 roomTempState alcoholic beverage and liquid
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10904-10904 Alcoholic beverage is a subclass of beverage
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 10905-10905 Alcoholic beverage is a subclass of depressant

appearance as argument number 2

(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 10933-10933 Beer is a subclass of alcoholic beverage
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10919-10919 Distilled alcoholic beverage is a subclass of alcoholic beverage
(subclass Sake AlcoholicBeverage) Medicine.kif 3474-3474 Sake is a subclass of alcoholic beverage
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 10915-10915 Wine is a subclass of alcoholic beverage
(termFormat ChineseLanguage AlcoholicBeverage "酒精饮料") domainEnglishFormat.kif 6426-6426
(termFormat ChineseTraditionalLanguage AlcoholicBeverage "酒精飲料") domainEnglishFormat.kif 6425-6425
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 6424-6424


    (instance ?BEVERAGE AlcoholicBeverage)
    (exists (?ALCOHOL)
            (instance ?ALCOHOL Ethanol)
            (part ?ALCOHOL ?BEVERAGE))))
Mid-level-ontology.kif 10908-10913


        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))
Dining.kif 219-223
    (attribute ?P Bartender)
    (exists (?S ?B)
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 26876-26883
    (holdsDuring ?TIME
        (attribute ?PERSON Drunk))
    (exists (?PAST)
            (temporalPart ?PAST
                (PastFn ?TIME))
            (holdsDuring ?PAST
                (exists (?DRINK ?ALCOHOL)
                        (instance ?DRINK Drinking)
                        (patient ?DRINK ?ALCOHOL)
                        (instance ?ALCOHOL AlcoholicBeverage)
                        (agent ?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8672-8683
    (instance ?COMPANY Tavern)
    (exists (?SERVICE ?BEVERAGE)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEVERAGE)
            (instance ?BEVERAGE AlcoholicBeverage))))
Mid-level-ontology.kif 7682-7690

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