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 Alcohol.") Mid-level-ontology.kif 9343-9343
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 9341-9341 Alcoholic beverage is a subclass of beverage
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 9342-9342 Alcoholic beverage is a subclass of depressant

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


(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 9370-9370 Beer is a subclass of alcoholic beverage
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 9356-9356 Distilled alcoholic beverage is a subclass of alcoholic beverage
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 9352-9352 Wine is a subclass of alcoholic beverage
(termFormat ChineseLanguage AlcoholicBeverage "酒精饮料") domainEnglishFormat.kif 6433-6433
(termFormat ChineseTraditionalLanguage AlcoholicBeverage "酒精飲料") domainEnglishFormat.kif 6432-6432
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 6431-6431

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


(=>
    (instance ?BEVERAGE AlcoholicBeverage)
    (exists (?ALCOHOL)
        (and
            (instance ?ALCOHOL Alcohol)
            (part ?ALCOHOL ?BEVERAGE))))
Mid-level-ontology.kif 9345-9350

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


(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))
Dining.kif 215-219
(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 25074-25081
(=>
    (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 8355-8366
(=>
    (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 7378-7386


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners