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 10410-10410
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10408-10408
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 10409-10409

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


(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 10437-10437
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10423-10423
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 10419-10419
(termFormat ChineseLanguage AlcoholicBeverage "酒精饮料") domainEnglishFormat.kif 6435-6435
(termFormat ChineseTraditionalLanguage AlcoholicBeverage "酒精飲料") domainEnglishFormat.kif 6434-6434
(termFormat EnglishLanguage AlcoholicBeverage "alcoholic beverage") domainEnglishFormat.kif 6433-6433

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


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

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


(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))
Dining.kif 215-219
(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 26236-26243
(=>
    (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 8276-8287
(=>
    (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 7357-7365


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