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 Ethanol.") Mid-level-ontology.kif 10907-10907
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31421-31421 roomTempState AlcoholicBeverage and Liquid
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10905-10905 AlcoholicBeverage est une sous-classe de boisson
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 10906-10906 AlcoholicBeverage est une sous-classe de Depressant

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


(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 10934-10934 Beer est une sous-classe de AlcoholicBeverage
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10920-10920 DistilledAlcoholicBeverage est une sous-classe de AlcoholicBeverage
(subclass Sake AlcoholicBeverage) Medicine.kif 3474-3474 Sake est une sous-classe de AlcoholicBeverage
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 10916-10916 Wine est une sous-classe de AlcoholicBeverage
(termFormat ChineseLanguage AlcoholicBeverage "酒精饮料") domainEnglishFormat.kif 6426-6426
(termFormat ChineseTraditionalLanguage AlcoholicBeverage "酒精飲料") domainEnglishFormat.kif 6425-6425
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 6424-6424

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


(=>
    (instance ?BEVERAGE AlcoholicBeverage)
    (exists (?ALCOHOL)
        (and
            (instance ?ALCOHOL Ethanol)
            (part ?ALCOHOL ?BEVERAGE))))
Mid-level-ontology.kif 10909-10914

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


(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))
Dining.kif 219-223
(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 26888-26895
(=>
    (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 8673-8684
(=>
    (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 7683-7691


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 is open source software produced by Articulate Software and its partners