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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlcoholicBeverage
AlcoholicBeverage(alcoholic beverage)NADA_daiquiri, Virgin_Mary, alcohol, alcoholic_beverage, alcoholic_drink, bloody_shame, eye_opener, hair_of_the_dog, inebriant, intoxicant, koumiss, kumis, mixed_drink, mixer, nightcap, pruno, refresher, rotgut, slug, smoothie, sundowner

appearance as argument number 1
-------------------------


s__documentation(s__AlcoholicBeverage,s__EnglishLanguage,'"Any Beverage that contains Ethanol."')

Mid-level-ontology.kif 9618-9618
s__instance(s__Beverage,s__SetOrClass)

s__subclass(s__AlcoholicBeverage,s__Beverage)

s__instance(s__AlcoholicBeverage,s__SetOrClass)

Mid-level-ontology.kif 9616-9616 Alcoholic beverage is a subclass of beverage
s__subclass(s__AlcoholicBeverage,s__Depressant)

s__instance(s__AlcoholicBeverage,s__SetOrClass)

s__instance(s__Depressant,s__SetOrClass)

Mid-level-ontology.kif 9617-9617 Alcoholic beverage is a subclass of depressant

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


s__subclass(s__Beer,s__AlcoholicBeverage)

s__instance(s__Beer,s__SetOrClass)

s__instance(s__AlcoholicBeverage,s__SetOrClass)

Mid-level-ontology.kif 9645-9645 Beer is a subclass of alcoholic beverage
s__instance(s__DistilledAlcoholicBeverage,s__SetOrClass)

s__instance(s__AlcoholicBeverage,s__SetOrClass)

s__subclass(s__DistilledAlcoholicBeverage,s__AlcoholicBeverage)

Mid-level-ontology.kif 9631-9631 Distilled alcoholic beverage is a subclass of alcoholic beverage
s__instance(s__Wine,s__SetOrClass)

s__subclass(s__Wine,s__AlcoholicBeverage)

s__instance(s__AlcoholicBeverage,s__SetOrClass)

Mid-level-ontology.kif 9627-9627 Wine is a subclass of alcoholic beverage
s__termFormat(s__ChineseLanguage,s__AlcoholicBeverage,'"酒精饮料"')

domainEnglishFormat.kif 6435-6435
s__termFormat(s__ChineseTraditionalLanguage,s__AlcoholicBeverage,'"酒精飲料"')

domainEnglishFormat.kif 6434-6434
s__termFormat(s__EnglishLanguage,s__AlcoholicBeverage,'"alcoholic beverage"')

domainEnglishFormat.kif 6433-6433

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


( ! [V__BEVERAGE] :
   ((s__instance(V__BEVERAGE,s__AlcoholicBeverage) =>
       (( ? [V__ALCOHOL] :
           ((s__instance(V__ALCOHOL,s__Ethanol) &
               s__part(V__ALCOHOL,V__BEVERAGE))))))
   )
)

Mid-level-ontology.kif 9620-9625

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


( ! [V__MENU,V__X] :
   (((s__instance(V__X,s__Class) &
         s__subclass(V__X,s__Entity))
       =>
       (((s__instance(V__MENU,s__AlcoholMenu) &
             s__catalogItem(V__X,V__MENU))
         =>
         (s__subclass(V__X,s__AlcoholicBeverage)))))
   )
)

Dining.kif 215-219
( ! [V__P] :
   ((s__instance(V__P,s__Agent) =>
       ((s__attribute(V__P,s__Bartender) =>
           (( ? [V__S, V__B] :
               ((s__instance(V__S,s__Serving) &
                   s__instance(V__B,s__AlcoholicBeverage) &
                   s__agent(V__S,V__P)
                 &
                 s__patient(V__S,V__B))))))))
)
)

Mid-level-ontology.kif 24998-25005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7942-7953
( ! [V__COMPANY] :
   ((s__instance(V__COMPANY,s__Tavern) =>
       (( ? [V__SERVICE, V__BEVERAGE] :
           ((s__instance(V__SERVICE,s__CommercialService) &
               s__agent(V__SERVICE,V__COMPANY)
             &
             s__instance(V__SERVICE,s__Selling) &
             s__patient(V__SERVICE,V__BEVERAGE)
           &
           s__instance(V__BEVERAGE,s__AlcoholicBeverage))))))
)
)

Mid-level-ontology.kif 7045-7053


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