| Sake(sake) | | rice_beer, sake, saki |
| appearance as argument number 1 |
|
|
| (documentation Sake EnglishLanguage "An AlcoholicBeverage made from the Fermentation of Rice.") | Medicine.kif 3475-3476 | |
| (subclass Sake AlcoholicBeverage) | Medicine.kif 3474-3474 | Sake is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sake "sake") | domainEnglishFormat.kif 65481-65481 |
| antecedent |
|
|
| (=> (instance ?S Sake) (exists (?R ?F) (and (instance ?F Fermentation) (resource ?F ?R) (instance ?R Rice) (result ?F ?S)))) |
Medicine.kif 3479-3486 |
|
|
|
|