| (=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass)) |
Economy.kif 4166-4172 | |
| (subclass CerealGrass Grass) | Economy.kif 3813-3813 | 谷物草 是 草 的 subclass |
| (subclass PaddyRice CerealGrass) | Economy.kif 3817-3817 | 水稻 是 谷物草 的 subclass |
| (subclass MaizeGrass CerealGrass) | Economy.kif 3821-3821 | MaizeGrass 是 谷物草 的 subclass |
| (subclass SorghumGrass CerealGrass) | Economy.kif 3826-3826 | 高粱 是 谷物草 的 subclass |
| (subclass WheatGrass CerealGrass) | Economy.kif 3860-3860 | WheatGrass 是 谷物草 的 subclass |
| (subclass RyeGrass CerealGrass) | Economy.kif 4000-4000 | RyeGrass 是 谷物草 的 subclass |
| (subclass OatGrass CerealGrass) | Economy.kif 4007-4007 | OatGrass 是 谷物草 的 subclass |
| (subclass BarleyGrass CerealGrass) | Economy.kif 4012-4012 | BarleyGrass 是 谷物草 的 subclass |
| (subclass MilletGrass CerealGrass) | Economy.kif 4017-4017 | MilletGrass 是 谷物草 的 subclass |
|
|