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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlcoholicBeverage

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 11125-11125
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31686-31686 roomTempState alcoholic beverage and liquid
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 11123-11123 Alcoholic beverage is a subclass of beverage
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 11124-11124 Alcoholic beverage is a subclass of depressant

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


(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 11152-11152 Beer is a subclass of alcoholic beverage
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 11138-11138 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 11134-11134 Wine is a subclass of alcoholic beverage
(termFormat ChineseLanguage AlcoholicBeverage "酒精饮料") domainEnglishFormat.kif 6434-6434 Wine is a subclass of alcoholic beverage
(termFormat ChineseTraditionalLanguage AlcoholicBeverage "酒精飲料") domainEnglishFormat.kif 6433-6433 Wine is a subclass of alcoholic beverage
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 6432-6432 Wine is a subclass of alcoholic beverage

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


(=>
    (instance ?BEVERAGE AlcoholicBeverage)
    (exists (?ALCOHOL)
        (and
            (instance ?ALCOHOL Ethanol)
            (part ?ALCOHOL ?BEVERAGE))))
Mid-level-ontology.kif 11127-11132

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


(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))
Dining.kif 219-223
(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 27152-27159
(=>
    (holdsDuring ?TIME
        (attribute ?PERSON Drunk))
    (exists (?PAST)
        (and
            (temporalPart ?PAST
                (PastFn ?TIME))
            (holdsDuring ?PAST
                (exists (?DRINK ?ALCOHOL)
                    (and
                        (instance ?DRINK Drinking)
                        (patient ?DRINK ?ALCOHOL)
                        (instance ?ALCOHOL AlcoholicBeverage)
                        (agent ?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8891-8902
(=>
    (instance ?COMPANY Tavern)
    (exists (?SERVICE ?BEVERAGE)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEVERAGE)
            (instance ?BEVERAGE AlcoholicBeverage))))
Mid-level-ontology.kif 7901-7909


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