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 Ethanol.") Mid-level-ontology.kif 10934-10934
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31453-31453 roomTempState AlcoholicBeverage and Liquid
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10932-10932 AlcoholicBeverage飲料subclass では %n
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 10933-10933 AlcoholicBeverageDepressantsubclass では %n

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


(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 10961-10961 BeerAlcoholicBeveragesubclass では %n
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10947-10947 DistilledAlcoholicBeverageAlcoholicBeveragesubclass では %n
(subclass Sake AlcoholicBeverage) Medicine.kif 3474-3474 SakeAlcoholicBeveragesubclass では %n
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 10943-10943 WineAlcoholicBeveragesubclass では %n
(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 10936-10941

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 26921-26928
(=>
    (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 8700-8711
(=>
    (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 7710-7718


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