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 Depressant) Mid-level-ontology.kif 9339-9339

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


(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 9367-9367
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 9353-9353
(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 25061-25068
(=>
    (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 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