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


(documentation DistilledAlcoholicBeverage EnglishLanguage "An AlcoholicBeverage that has had some part of its FreshWater content removed by distillation. This class covers drinks of unmixed, hard liquor.") Mid-level-ontology.kif 10921-10923
(roomTempState DistilledAlcoholicBeverage Liquid) Mid-level-ontology.kif 31424-31424 roomTempState distilled alcoholic beverage and liquid
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10920-10920 Distilled alcoholic beverage is a subclass of alcoholic beverage

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


(subclass Aperitif DistilledAlcoholicBeverage) Food.kif 2093-2093 Aperitif is a subclass of distilled alcoholic beverage
(subclass Brandy DistilledAlcoholicBeverage) Food.kif 3635-3635 Brandy is a subclass of distilled alcoholic beverage
(subclass Liqueur DistilledAlcoholicBeverage) Food.kif 2643-2643 Liqueur is a subclass of distilled alcoholic beverage
(subclass Rum DistilledAlcoholicBeverage) Food.kif 3338-3338 Rum is a subclass of distilled alcoholic beverage
(subclass Tequila DistilledAlcoholicBeverage) Food.kif 3494-3494 Tequila is a subclass of distilled alcoholic beverage
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 3584-3584 Vodka is a subclass of distilled alcoholic beverage
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 3606-3606 Whiskey is a subclass of distilled alcoholic beverage
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料") domainEnglishFormat.kif 19944-19944
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料") domainEnglishFormat.kif 19943-19943
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage") domainEnglishFormat.kif 19942-19942

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


(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER FreshWater)
            (origin ?REMOVE ?BEVERAGE))))
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