Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RiceGrain(rice grain)
|  | Indian_rice, brown_rice, paddy, polished_rice, rice, white_rice, wild_rice |
| appearance as argument number 1 |
|
|
| (subclass RiceGrain CerealGrain) | Economy.kif 4379-4379 | Rice grain is a subclass of cereal grain |
| (documentation RiceGrain EnglishLanguage "A CerealGrain which has short and long grain varieties and which is usually prepared for eating by steaming.") | Economy.kif 4380-4381 | Rice grain is a subclass of cereal grain |
| (initialPart RiceGrain PaddyRice) | Economy.kif 4447-4447 | Every rice grain is initially part of a paddy rice |
| (externalImage RiceGrain "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ _assorted/ Rice_3.png") | pictureList.kif 695-695 | Every rice grain is initially part of a paddy rice |
| appearance as argument number 2 |
|
|
| (industryProductType RiceFarming RiceGrain) | Economy.kif 6587-6587 | Rice grain is an industry product type of rice farming |
| (initialPart RiceFlour RiceGrain) | Food.kif 1526-1526 | Every rice flour is initially part of a rice grain |
| (termFormat EnglishLanguage RiceGrain "rice grain") | domainEnglishFormat.kif 49929-49929 | Every rice flour is initially part of a rice grain |
| (termFormat ChineseTraditionalLanguage RiceGrain "米粒") | domainEnglishFormat.kif 49930-49930 | Every rice flour is initially part of a rice grain |
| (termFormat ChineseLanguage RiceGrain "米粒") | domainEnglishFormat.kif 49931-49931 | Every rice flour is initially part of a rice grain |
| consequent |
|
|
| (=> (instance ?RC RiceCooker) (hasPurpose ?RC (exists (?COOKING ?RICE) (and (instance ?COOKING Cooking) (instrument ?COOKING ?RC) (result ?COOKING ?RICE) (instance ?RICE RiceGrain))))) |
Society.kif 910-918 | If X is an instance of RiceCooker, then X has the purpose there exist Y, Z such that Y is an instance of cooking, X is an instrument for Y, Z is a result of Y, and Z is an instance of rice grain |
| (=> (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 |
|