Sigma KB Term Intersection

(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4166-4172	Objet est OrganicObjectFn objet objet est une sous-classe de Malt objet est une sous-classe de CerealGrain initialPart objet and CerealGrass
(subclass CerealGrass Grass)	Economy.kif 3813-3813	CerealGrass est une sous-classe de Grass
(subclass PaddyRice CerealGrass)	Economy.kif 3817-3817	PaddyRice est une sous-classe de CerealGrass
(subclass MaizeGrass CerealGrass)	Economy.kif 3821-3821	MaizeGrass est une sous-classe de CerealGrass
(subclass SorghumGrass CerealGrass)	Economy.kif 3826-3826	SorghumGrass est une sous-classe de CerealGrass
(subclass WheatGrass CerealGrass)	Economy.kif 3860-3860	WheatGrass est une sous-classe de CerealGrass
(subclass RyeGrass CerealGrass)	Economy.kif 4000-4000	RyeGrass est une sous-classe de CerealGrass
(subclass OatGrass CerealGrass)	Economy.kif 4007-4007	OatGrass est une sous-classe de CerealGrass
(subclass BarleyGrass CerealGrass)	Economy.kif 4012-4012	BarleyGrass est une sous-classe de CerealGrass
(subclass MilletGrass CerealGrass)	Economy.kif 4017-4017	MilletGrass est une sous-classe de CerealGrass