| 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 11139-11141 | |
| (roomTempState DistilledAlcoholicBeverage Liquid) | Mid-level-ontology.kif 31689-31689 | roomTempState distilled alcoholic beverage and liquid |
| (subclass DistilledAlcoholicBeverage AlcoholicBeverage) | Mid-level-ontology.kif 11138-11138 | 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 11143-11150 |
|
|
|
|