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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlcoholicBeverage

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 10410-10410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10408-10408 Alcoholic beverage is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10409-10409 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 10437-10437 Beer is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10423-10423 Distilled alcoholic beverage is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10419-10419 Wine is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6435-6435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6434-6434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6433-6433

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


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

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 215-219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26236-26243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8276-8287
No TPTP formula. May not be expressible in strict first order. 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