Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Sake(sake) |  | rice_beer, sake, saki |
| appearance as argument number 1 |
|
|
| (subclass Sake AlcoholicBeverage) | Medicine.kif 3504-3504 | Sake is a subclass of alcoholic beverage |
| (documentation Sake EnglishLanguage "An AlcoholicBeverage made from the Fermentation of Rice.") | Medicine.kif 3505-3506 | Sake is a subclass of alcoholic beverage |
| (subclass Sake BeverageArtifact) | Society.kif 1221-1221 | Sake is a subclass of BeverageArtifact |
| (documentation Sake EnglishLanguage "A Japanese alcoholic beverage made from fermented rice; usually served hot.") | Society.kif 1223-1223 | Sake is a subclass of BeverageArtifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sake "sake") | domainEnglishFormat.kif 65436-65436 |
| antecedent |
|
|
| (=> (instance ?S Sake) (exists (?R ?F) (and (instance ?F Fermentation) (resource ?F ?R) (instance ?R Rice) (result ?F ?S)))) |
Medicine.kif 3509-3516 | If X is an instance of sake, then there exist Y, Z such that Z is an instance of fermentation, Y is a resource for Z, Y is an instance of Rice, and X is a result of Z |
| (=> (instance ?S Sake) (exists (?F ?WATER ?R) (and (instance ?F Fermentation) (instance ?WATER Water) (instance ?R RiceGrain) (resource ?F ?WATER) (resource ?F ?R) (result ?F ?S)))) |
Society.kif 1225-1234 | If X is an instance of sake, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of fermentation (3) Z is an instance of water (4) W is an instance of rice grain (5) Z is a resource for Y (6) W is a resource for Y (7) X is a result of Y |
|