DistilledAlcoholicBeverage - Sigma Knowledge base Browser

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 12252-12254
(roomTempState DistilledAlcoholicBeverage Liquid)	Mid-level-ontology.kif 33369-33369	roomTempState DistilledAlcoholicBeverage and Liquid
(subclass DistilledAlcoholicBeverage AlcoholicBeverage)	Mid-level-ontology.kif 12251-12251	DistilledAlcoholicBeverage は AlcoholicBeverage の subclass では

appearance as argument number 2

(subclass Aperitif DistilledAlcoholicBeverage)	Food.kif 2100-2100	Aperitif は DistilledAlcoholicBeverage の subclass では
(subclass Brandy DistilledAlcoholicBeverage)	Food.kif 3642-3642	Brandy は DistilledAlcoholicBeverage の subclass では
(subclass Liqueur DistilledAlcoholicBeverage)	Food.kif 2650-2650	Liqueur は DistilledAlcoholicBeverage の subclass では
(subclass Rum DistilledAlcoholicBeverage)	Food.kif 3345-3345	Rum は DistilledAlcoholicBeverage の subclass では
(subclass Tequila DistilledAlcoholicBeverage)	Food.kif 3501-3501	Tequila は DistilledAlcoholicBeverage の subclass では
(subclass Vodka DistilledAlcoholicBeverage)	Food.kif 3591-3591	Vodka は DistilledAlcoholicBeverage の subclass では
(subclass Whiskey DistilledAlcoholicBeverage)	Food.kif 3613-3613	Whiskey は DistilledAlcoholicBeverage の subclass では
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料")	domainEnglishFormat.kif 19953-19953	Whiskey は DistilledAlcoholicBeverage の subclass では
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料")	domainEnglishFormat.kif 19952-19952	Whiskey は DistilledAlcoholicBeverage の subclass では
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage")	domainEnglishFormat.kif 19951-19951	Whiskey は DistilledAlcoholicBeverage の subclass では

antecedent

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

Mid-level-ontology.kif 12256-12263