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 9336-9338
(subclass DistilledAlcoholicBeverage AlcoholicBeverage)	Mid-level-ontology.kif 9335-9335	subclass DistilledAlcoholicBeverage and AlcoholicBeverage

appearance as argument number 2

(subclass Aperitif DistilledAlcoholicBeverage)	Food.kif 427-427	subclass Aperitif and DistilledAlcoholicBeverage
(subclass Brandy DistilledAlcoholicBeverage)	Food.kif 1058-1058	subclass Brandy and DistilledAlcoholicBeverage
(subclass Liqueur DistilledAlcoholicBeverage)	Food.kif 636-636	subclass Liqueur and DistilledAlcoholicBeverage
(subclass Rum DistilledAlcoholicBeverage)	Food.kif 794-794	subclass Rum and DistilledAlcoholicBeverage
(subclass Tequila DistilledAlcoholicBeverage)	Food.kif 918-918	subclass Tequila and DistilledAlcoholicBeverage
(subclass Vodka DistilledAlcoholicBeverage)	Food.kif 1007-1007	subclass Vodka and DistilledAlcoholicBeverage
(subclass Whiskey DistilledAlcoholicBeverage)	Food.kif 1029-1029	subclass Whiskey and DistilledAlcoholicBeverage
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料")	domainEnglishFormat.kif 19867-19867
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料")	domainEnglishFormat.kif 19866-19866
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage")	domainEnglishFormat.kif 19865-19865

antecedent

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

Mid-level-ontology.kif 9340-9347