TreeView Knowledge Base Browser - DistilledAlcoholicBeverage

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 DistilledAlcoholicBeverage and Liquid
(subclass DistilledAlcoholicBeverage AlcoholicBeverage)	Mid-level-ontology.kif 10920-10920	DistilledAlcoholicBeverage は AlcoholicBeverage の subclass では %n

appearance as argument number 2

(subclass Aperitif DistilledAlcoholicBeverage)	Food.kif 2093-2093	Aperitif は DistilledAlcoholicBeverage の subclass では %n
(subclass Brandy DistilledAlcoholicBeverage)	Food.kif 3635-3635	Brandy は DistilledAlcoholicBeverage の subclass では %n
(subclass Liqueur DistilledAlcoholicBeverage)	Food.kif 2643-2643	Liqueur は DistilledAlcoholicBeverage の subclass では %n
(subclass Rum DistilledAlcoholicBeverage)	Food.kif 3338-3338	Rum は DistilledAlcoholicBeverage の subclass では %n
(subclass Tequila DistilledAlcoholicBeverage)	Food.kif 3494-3494	Tequila は DistilledAlcoholicBeverage の subclass では %n
(subclass Vodka DistilledAlcoholicBeverage)	Food.kif 3584-3584	Vodka は DistilledAlcoholicBeverage の subclass では %n
(subclass Whiskey DistilledAlcoholicBeverage)	Food.kif 3606-3606	Whiskey は DistilledAlcoholicBeverage の subclass では %n
(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