DistilledAlcoholicBeverage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DistilledAlcoholicBeverage EnglishLanguage "An AlcoholicBeverage that has had some part of its Water content removed by distillation. This class covers drinks of unmixed, hard liquor.")	Mid-level-ontology.kif 9356-9358
(subclass DistilledAlcoholicBeverage AlcoholicBeverage)	Mid-level-ontology.kif 9355-9355	subclass DistilledAlcoholicBeverage and AlcoholicBeverage

appearance as argument number 2

(subclass Aperitif DistilledAlcoholicBeverage)	Food.kif 471-471	subclass Aperitif and DistilledAlcoholicBeverage
(subclass Brandy DistilledAlcoholicBeverage)	Food.kif 1102-1102	subclass Brandy and DistilledAlcoholicBeverage
(subclass Liqueur DistilledAlcoholicBeverage)	Food.kif 680-680	subclass Liqueur and DistilledAlcoholicBeverage
(subclass Rum DistilledAlcoholicBeverage)	Food.kif 838-838	subclass Rum and DistilledAlcoholicBeverage
(subclass Tequila DistilledAlcoholicBeverage)	Food.kif 962-962	subclass Tequila and DistilledAlcoholicBeverage
(subclass Vodka DistilledAlcoholicBeverage)	Food.kif 1051-1051	subclass Vodka and DistilledAlcoholicBeverage
(subclass Whiskey DistilledAlcoholicBeverage)	Food.kif 1073-1073	subclass Whiskey and DistilledAlcoholicBeverage
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料")	domainEnglishFormat.kif 19873-19873	termFormat ChineseLanguage, DistilledAlcoholicBeverage and "蒸馏酒精饮料"
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料")	domainEnglishFormat.kif 19872-19872	termFormat ChineseTraditionalLanguage, DistilledAlcoholicBeverage and "蒸餾酒精飲料"
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage")	domainEnglishFormat.kif 19871-19871	termFormat EnglishLanguage, DistilledAlcoholicBeverage and "distilled alcoholic beverage"

antecedent

(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER Water)
            (origin ?REMOVE ?BEVERAGE))))

Mid-level-ontology.kif 9360-9367