| Vodka | |
| appearance as argument number 1 |
|
|
| (documentation Vodka EnglishLanguage "A DistilledAlcoholicBeverage made from a CerealGrain to which water is added prior to drinking.") | Food.kif 3585-3586 | |
| (roomTempState Vodka Liquid) | Mid-level-ontology.kif 31704-31704 | |
| (subclass Vodka DistilledAlcoholicBeverage) | Food.kif 3584-3584 |
| appearance as argument number 2 |
|
|
| (subclass Absolut Vodka) | Food.kif 2059-2059 | |
| (subclass Stolichnoya Vodka) | Food.kif 3478-3478 | |
| (termFormat EnglishLanguage Vodka "vodka") | domainEnglishFormat.kif 65734-65734 |
| antecedent |
|
|
| (=> (instance ?V Vodka) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?V)))) |
Food.kif 3595-3602 | |
| (=> (instance ?V Vodka) (exists (?W) (and (instance ?W DrinkingWater) (part ?W ?V)))) |
Food.kif 3588-3593 |
|
|
|