| DistilledAlcoholicBeverage(distilled alcoholic beverage) | | John_Barleycorn, akvavit, applejack, aqua_vitae, aquavit, arak, ardent_spirits, arrack, bitters, bootleg, booze, corn_liquor, eau_de_vie, ethyl_alcohol, firewater, ginger_beer, grog, hard_drink, hard_liquor, kirsch, lacing, liquor, malt, malt_liquor, marc, mead, mescal, metheglin, moonshine, near_beer, neutral_spirits, ouzo, pulque, spirits, strong_drink |
| 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 11817-11819 | |
| (roomTempState DistilledAlcoholicBeverage Liquid) | Mid-level-ontology.kif 32547-32547 | roomTempState distilled alcoholic beverage and liquid |
| (subclass DistilledAlcoholicBeverage AlcoholicBeverage) | Mid-level-ontology.kif 11816-11816 | Distilled alcoholic beverage is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 11821-11828 |
|
|
|
|