(=> (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 PaddyRice CerealGrass) | Economy.kif 3817-3817 | |
(subclass MaizeGrass CerealGrass) | Economy.kif 3821-3821 | |
(subclass SorghumGrass CerealGrass) | Economy.kif 3826-3826 | |
(subclass WheatGrass CerealGrass) | Economy.kif 3860-3860 | |
(subclass RyeGrass CerealGrass) | Economy.kif 4000-4000 | |
(subclass OatGrass CerealGrass) | Economy.kif 4007-4007 | |
(subclass BarleyGrass CerealGrass) | Economy.kif 4012-4012 | |
(subclass MilletGrass CerealGrass) | Economy.kif 4017-4017 |