| CerealGrass(谷物草)
| |
| appearance as argument number 1 |
|
|
| (documentation CerealGrass EnglishLanguage "CerealGrass are Grass whose starchy Grains are used as food.") | Economy.kif 3814-3815 | |
| (externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Various_grains.jpg") | pictureList.kif 8412-8412 | |
| (externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 040719_172_dorset_marnhull.jpg") | pictureList.kif 9042-9042 | |
| (subclass CerealGrass Grass) | Economy.kif 3813-3813 | 谷物草 是 草 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BarleyGrass CerealGrass) | Economy.kif 4012-4012 | BarleyGrass 是 谷物草 的 subclass |
| (subclass MaizeGrass CerealGrass) | Economy.kif 3821-3821 | MaizeGrass 是 谷物草 的 subclass |
| (subclass MilletGrass CerealGrass) | Economy.kif 4017-4017 | MilletGrass 是 谷物草 的 subclass |
| (subclass OatGrass CerealGrass) | Economy.kif 4007-4007 | OatGrass 是 谷物草 的 subclass |
| (subclass PaddyRice CerealGrass) | Economy.kif 3817-3817 | 水稻 是 谷物草 的 subclass |
| (subclass RyeGrass CerealGrass) | Economy.kif 4000-4000 | RyeGrass 是 谷物草 的 subclass |
| (subclass SorghumGrass CerealGrass) | Economy.kif 3826-3826 | 高粱 是 谷物草 的 subclass |
| (subclass WheatGrass CerealGrass) | Economy.kif 3860-3860 | WheatGrass 是 谷物草 的 subclass |
| (termFormat ChineseLanguage CerealGrass "谷物草") | domainEnglishFormat.kif 13950-13950 | |
| (termFormat ChineseTraditionalLanguage CerealGrass "穀物草") | domainEnglishFormat.kif 13949-13949 | |
| (termFormat EnglishLanguage CerealGrass "cereal grass plant") | domainEnglishFormat.kif 13948-13948 |
| antecedent |
|
|
| (=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4031-4033 |
| consequent |
|
|
| (=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass)) |
Economy.kif 4166-4172 |
|
|
|