| Sake | |
| 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 は AlcoholicBeverage の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sake "sake") | domainEnglishFormat.kif 65435-65435 |
| antecedent |
|
|
| (=> (instance ?S Sake) (exists (?R ?F) (and (instance ?F Fermentation) (resource ?F ?R) (instance ?R Rice) (result ?F ?S)))) |
Medicine.kif 3479-3486 |
|
|
|