DistilledAlcoholicBeverage - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DistilledAlcoholicBeverage AlcoholicBeverage)	Mid-level-ontology.kif 12398-12398	Distilled alcoholic beverage is a subclass of alcoholic beverage
(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 12399-12401	Distilled alcoholic beverage is a subclass of alcoholic beverage
(roomTempState DistilledAlcoholicBeverage Liquid)	Mid-level-ontology.kif 33920-33920	room temperature state distilled alcoholic beverage and liquid

appearance as argument number 2

(subclass Aperitif DistilledAlcoholicBeverage)	Food.kif 2110-2110	Aperitif is a subclass of distilled alcoholic beverage
(subclass Liqueur DistilledAlcoholicBeverage)	Food.kif 2669-2669	Liqueur is a subclass of distilled alcoholic beverage
(subclass Rum DistilledAlcoholicBeverage)	Food.kif 3370-3370	Rum is a subclass of distilled alcoholic beverage
(subclass Tequila DistilledAlcoholicBeverage)	Food.kif 3531-3531	Tequila is a subclass of distilled alcoholic beverage
(subclass Vodka DistilledAlcoholicBeverage)	Food.kif 3621-3621	Vodka is a subclass of distilled alcoholic beverage
(subclass Whiskey DistilledAlcoholicBeverage)	Food.kif 3643-3643	Whiskey is a subclass of distilled alcoholic beverage
(subclass Brandy DistilledAlcoholicBeverage)	Food.kif 3672-3672	Brandy is a subclass of distilled alcoholic beverage
(subclass Gin DistilledAlcoholicBeverage)	Society.kif 1321-1321	Gin is a subclass of distilled alcoholic beverage
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage")	domainEnglishFormat.kif 19944-19944	Gin is a subclass of distilled alcoholic beverage
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料")	domainEnglishFormat.kif 19945-19945	Gin is a subclass of distilled alcoholic beverage
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料")	domainEnglishFormat.kif 19946-19946	Gin is a subclass of distilled alcoholic beverage

antecedent

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

consequent

(=>
    (instance ?D Distillery)
    (hasPurpose ?D
        (exists (?EV)
            (and
                (instance ?EV Distilling)
                (eventLocated ?EV ?D)
                (result ?EV DistilledAlcoholicBeverage)))))

If X is an instance of distillery, then X has the purpose there exists Y such that Y is an instance of distilling, Y is located at X, and distilled alcoholic beverage is a result of Y