Sigma KB Term Intersection

(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4166-4172	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Malt Objeto e' uma sub-classe de CerealGrain initialPart Objeto and CerealGrass
(subclass CerealGrass Grass)	Economy.kif 3813-3813	CerealGrass e' uma sub-classe de Grass
(subclass PaddyRice CerealGrass)	Economy.kif 3817-3817	PaddyRice e' uma sub-classe de CerealGrass
(subclass MaizeGrass CerealGrass)	Economy.kif 3821-3821	MaizeGrass e' uma sub-classe de CerealGrass
(subclass SorghumGrass CerealGrass)	Economy.kif 3826-3826	SorghumGrass e' uma sub-classe de CerealGrass
(subclass WheatGrass CerealGrass)	Economy.kif 3860-3860	WheatGrass e' uma sub-classe de CerealGrass
(subclass RyeGrass CerealGrass)	Economy.kif 4000-4000	RyeGrass e' uma sub-classe de CerealGrass
(subclass OatGrass CerealGrass)	Economy.kif 4007-4007	OatGrass e' uma sub-classe de CerealGrass
(subclass BarleyGrass CerealGrass)	Economy.kif 4012-4012	BarleyGrass e' uma sub-classe de CerealGrass
(subclass MilletGrass CerealGrass)	Economy.kif 4017-4017	MilletGrass e' uma sub-classe de CerealGrass