| Vodka(vodka) | | 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 | roomTempState vodka and liquid |
| (subclass Vodka DistilledAlcoholicBeverage) | Food.kif 3584-3584 | Vodka is a subclass of distilled alcoholic beverage |
| appearance as argument number 2 |
|
|
| (subclass Absolut Vodka) | Food.kif 2059-2059 | Absolut is a subclass of vodka |
| (subclass Stolichnoya Vodka) | Food.kif 3478-3478 | Stolichnoya is a subclass of vodka |
| (termFormat EnglishLanguage Vodka "vodka") | domainEnglishFormat.kif 65757-65757 | Stolichnoya is a subclass of vodka |
| 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 |
|
|
|
|