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 CerealGrain Seed)	Economy.kif 4026-4026	CerealGrain est une sous-classe de Seed
(subclass CerealGrain Grain)	Economy.kif 4027-4027	CerealGrain est une sous-classe de Grain
(subclass MaizeGrain CerealGrain)	Economy.kif 4043-4043	MaizeGrain est une sous-classe de CerealGrain
(subclass RiceGrain CerealGrain)	Economy.kif 4047-4047	RiceGrain est une sous-classe de CerealGrain
(subclass WheatGrain CerealGrain)	Economy.kif 4051-4051	WheatGrain est une sous-classe de CerealGrain
(subclass OatGrain CerealGrain)	Economy.kif 4121-4121	OatGrain est une sous-classe de CerealGrain
(subclass BarleyGrain CerealGrain)	Economy.kif 4126-4126	BarleyGrain est une sous-classe de CerealGrain
(subclass RyeGrain CerealGrain)	Economy.kif 4132-4132	RyeGrain est une sous-classe de CerealGrain
(subclass SorghumGrain CerealGrain)	Economy.kif 4137-4137	SorghumGrain est une sous-classe de CerealGrain
(subclass MilletGrain CerealGrain)	Economy.kif 4142-4142	MilletGrain est une sous-classe de CerealGrain