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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AlcoholicBeverage
AlcoholicBeverageشراب, كُحُول, مُسْكِر, خَمْر,

appearance as argument number 1

(documentation AlcoholicBeverage EnglishLanguage "Any Beverage that contains Alcohol.") Mid-level-ontology.kif 9340-9340
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 9338-9338
(subclass AlcoholicBeverage BeverageArtifact) Society.kif 1150-1150
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 9339-9339

appearance as argument number 2

(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 9367-9367
(subclass Cider AlcoholicBeverage) Society.kif 1217-1217
(subclass Cocktail AlcoholicBeverage) Society.kif 1308-1308
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 9353-9353
(subclass Sake AlcoholicBeverage) Society.kif 1249-1249
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 9349-9349
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 1505-1505


    (instance ?BEVERAGE AlcoholicBeverage)
    (exists (?ALCOHOL)
            (instance ?ALCOHOL Alcohol)
            (part ?ALCOHOL ?BEVERAGE))))
Mid-level-ontology.kif 9342-9347


    (attribute ?P Bartender)
    (exists (?S ?B)
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 24981-24988
    (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 8352-8363
    (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 7376-7384
    (instance ?MENU AlcoholMenu)
    (forall (?X)
            (catalogItem ?X ?MENU)
            (subclass ?MEMB AlcoholicBeverage))))
Dining.kif 217-222

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