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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12238-12238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33366-33366 room temperature state alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12236-12236 Alcoholic beverage is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12237-12237 Alcoholic beverage is a subclass of depressant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12265-12265 Beer is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12251-12251 Distilled alcoholic beverage is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3475-3475 Sake is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12247-12247 Wine is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6433-6433 Wine is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6432-6432 Wine is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6431-6431 Wine is a subclass of alcoholic beverage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12240-12245

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 219-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28787-28794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9879-9890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8850-8858


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