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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DistilledAlcoholicBeverage
DistilledAlcoholicBeverage(distilled alcoholic beverage)John_Barleycorn, akvavit, applejack, aqua_vitae, aquavit, arak, ardent_spirits, arrack, bitters, bootleg, booze, corn_liquor, eau_de_vie, ethyl_alcohol, firewater, ginger_beer, grog, hard_drink, hard_liquor, kirsch, lacing, liquor, malt, malt_liquor, marc, mead, mescal, metheglin, moonshine, near_beer, neutral_spirits, ouzo, pulque, spirits, strong_drink

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10921-10923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31424-31424 roomTempState distilled alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10920-10920 Distilled alcoholic beverage is a subclass of alcoholic beverage

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2093-2093 Aperitif is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3635-3635 Brandy is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 2643-2643 Liqueur is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3338-3338 Rum is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3494-3494 Tequila is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3584-3584 Vodka is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3606-3606 Whiskey is a subclass of distilled alcoholic beverage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19944-19944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19943-19943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19942-19942

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


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


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