AbsoluteDud
|
|
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 10948-10950 | |
(roomTempState DistilledAlcoholicBeverage Liquid) | Mid-level-ontology.kif 31456-31456 | roomTempState 蒸馏酒精饮料 and 液体 |
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) | Mid-level-ontology.kif 10947-10947 | 蒸馏酒精饮料 是 酒精饮料 的 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 10952-10959 |