| 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 11139-11141 | |
| (roomTempState DistilledAlcoholicBeverage Liquid) | Mid-level-ontology.kif 31689-31689 | |
| (subclass DistilledAlcoholicBeverage AlcoholicBeverage) | Mid-level-ontology.kif 11138-11138 |
| appearance as argument number 2 |
|
|
| (subclass Aperitif DistilledAlcoholicBeverage) | Food.kif 2093-2093 | |
| (subclass Brandy DistilledAlcoholicBeverage) | Food.kif 3635-3635 | |
| (subclass Liqueur DistilledAlcoholicBeverage) | Food.kif 2643-2643 | |
| (subclass Rum DistilledAlcoholicBeverage) | Food.kif 3338-3338 | |
| (subclass Tequila DistilledAlcoholicBeverage) | Food.kif 3494-3494 | |
| (subclass Vodka DistilledAlcoholicBeverage) | Food.kif 3584-3584 | |
| (subclass Whiskey DistilledAlcoholicBeverage) | Food.kif 3606-3606 | |
| (termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料") | domainEnglishFormat.kif 19955-19955 | |
| (termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料") | domainEnglishFormat.kif 19954-19954 | |
| (termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage") | domainEnglishFormat.kif 19953-19953 |
| antecedent |
|
|
| (=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 11143-11150 |
|
|
|