| CerealGrain(cereal grain)
| | buckwheat, bulghur, bulgur, bulgur_wheat, cereal, feed_grain, food_grain, grain, grist, groats, kernel |
| appearance as argument number 1 |
|
|
| (subclass CerealGrain Seed) | Economy.kif 4358-4358 | Cereal grain is a subclass of seed |
| (subclass CerealGrain Grain) | Economy.kif 4359-4359 | Cereal grain is a subclass of grain |
| (documentation CerealGrain EnglishLanguage "Any Seed which is produced by the cereal grasses, e.g. rice, corn, wheat, etc.") | Economy.kif 4360-4361 | Cereal grain is a subclass of grain |
| (subclass CerealGrain PlantAgriculturalArtifact) | Society.kif 977-977 | Cereal grain is a subclass of PlantAgriculturalArtifact |
| (externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") | pictureList.kif 890-890 | Cereal grain is a subclass of PlantAgriculturalArtifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal))))) |
Economy.kif 4367-4372 | If X is an instance of a dead cereal grain, then there exists Y such that X is an instance of Y, equal Y, and food for animal |
| (=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass)) |
Economy.kif 4498-4504 | If equal X and Object made from Y, X is a subclass of malt, and Y is a subclass of cereal grain, then every Y is initially part of a cereal grass plant |
| consequent |
|
|
| (=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F)))) |
Food.kif 1482-1489 | If X is an instance of flour, then there exist Y, Z such that Y is an instance of grinding, Z is a patient of Y, Z is an instance of cereal grain, and X is a result of Y |
| (=> (instance ?V Vodka) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?V)))) |
Food.kif 3604-3611 | If X is an instance of vodka, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of cereal grain, Z is a resource for Y, and X is a result of Y |
| (=> (instance ?W Whiskey) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W)))) |
Food.kif 3617-3624 | If X is an instance of whiskey, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of cereal grain, Z is a resource for Y, and X is a result of Y |
|
|
|