|
|
   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 蒸馏酒精饮料 and 液体 |
| (subclass DistilledAlcoholicBeverage AlcoholicBeverage) | Mid-level-ontology.kif 10920-10920 | 蒸馏酒精饮料 是 酒精饮料 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Aperitif DistilledAlcoholicBeverage) | Food.kif 2093-2093 | Aperitif 是 蒸馏酒精饮料 的 subclass |
| (subclass Brandy DistilledAlcoholicBeverage) | Food.kif 3635-3635 | 白兰地 是 蒸馏酒精饮料 的 subclass |
| (subclass Liqueur DistilledAlcoholicBeverage) | Food.kif 2643-2643 | Liqueur 是 蒸馏酒精饮料 的 subclass |
| (subclass Rum DistilledAlcoholicBeverage) | Food.kif 3338-3338 | Rum 是 蒸馏酒精饮料 的 subclass |
| (subclass Tequila DistilledAlcoholicBeverage) | Food.kif 3494-3494 | Tequila 是 蒸馏酒精饮料 的 subclass |
| (subclass Vodka DistilledAlcoholicBeverage) | Food.kif 3584-3584 | Vodka 是 蒸馏酒精饮料 的 subclass |
| (subclass Whiskey DistilledAlcoholicBeverage) | Food.kif 3606-3606 | 威士忌酒 是 蒸馏酒精饮料 的 subclass |
| (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 |
|
|
|