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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlcoholicBeverage

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

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


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

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


(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (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)
        (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 8352-8363
(=>
    (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 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