Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 12383-12383 Alcoholic beverage is a subclass of beverage
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 12384-12384 Alcoholic beverage is a subclass of depressant
(documentation AlcoholicBeverage EnglishLanguage "Any Beverage that contains Ethanol.") Mid-level-ontology.kif 12385-12385 Alcoholic beverage is a subclass of depressant
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 33918-33918 room temperature state alcoholic beverage and liquid
(subclass AlcoholicBeverage BeverageArtifact) Society.kif 1124-1124 Alcoholic beverage is a subclass of BeverageArtifact

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


(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 12394-12394 Wine is a subclass of alcoholic beverage
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 12398-12398 Distilled alcoholic beverage is a subclass of alcoholic beverage
(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 12412-12412 Beer is a subclass of alcoholic beverage
(subclass Sake AlcoholicBeverage) Medicine.kif 3504-3504 Sake is a subclass of alcoholic beverage
(subclass Cider AlcoholicBeverage) Society.kif 1190-1190 Cider is a subclass of alcoholic beverage
(subclass Cocktail AlcoholicBeverage) Society.kif 1317-1317 Cocktail is a subclass of alcoholic beverage
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 6425-6425 Cocktail is a subclass of alcoholic beverage
(termFormat ChineseTraditionalLanguage AlcoholicBeverage "酒精飲料") domainEnglishFormat.kif 6426-6426 Cocktail is a subclass of alcoholic beverage
(termFormat ChineseLanguage AlcoholicBeverage "酒精饮料") domainEnglishFormat.kif 6427-6427 Cocktail is a subclass of alcoholic beverage

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


(=>
    (instance ?BEVERAGE AlcoholicBeverage)
    (exists (?ALCOHOL)
        (and
            (instance ?ALCOHOL Ethanol)
            (part ?ALCOHOL ?BEVERAGE))))		 Mid-level-ontology.kif 12387-12392 If X is an instance of alcoholic beverage, then there exists Y such that Y is an instance of ethanol and Y is a part of X

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


(=>
    (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 9004-9012 If X is an instance of tavern, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of selling, Z is a patient of Y, and Z is an instance of alcoholic beverage
(=>
    (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 10033-10044 If drunk is an attribute of X holds during Y, then there exists Z such that Z is a part of before Y, there exist W, V such that W is an instance of drinking, V is a patient of W, V is an instance of alcoholic beverage, and X is an agent of W holds during Z
(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))		 Mid-level-ontology.kif 29482-29489 If bartender is an attribute of X, then there exist Y, Z such that Y is an instance of serving, Z is an instance of alcoholic beverage, X is an agent of Y, and Z is a patient of Y
(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))		 Dining.kif 219-223 If X is an instance of cocktail menu and Y is in X, then Y is a subclass of alcoholic beverage


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners