Sigma KB Term Intersection

(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4166-4172	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von Malt und Object ist eine teilkategorie von CerealGrain, dann initialPart ** Object and CerealGrass
(subclass CerealGrain Seed)	Economy.kif 4026-4026	CerealGrain ist eine teilkategorie von Seed
(subclass CerealGrain Grain)	Economy.kif 4027-4027	CerealGrain ist eine teilkategorie von Grain
(subclass MaizeGrain CerealGrain)	Economy.kif 4043-4043	MaizeGrain ist eine teilkategorie von CerealGrain
(subclass RiceGrain CerealGrain)	Economy.kif 4047-4047	RiceGrain ist eine teilkategorie von CerealGrain
(subclass WheatGrain CerealGrain)	Economy.kif 4051-4051	WheatGrain ist eine teilkategorie von CerealGrain
(subclass OatGrain CerealGrain)	Economy.kif 4121-4121	OatGrain ist eine teilkategorie von CerealGrain
(subclass BarleyGrain CerealGrain)	Economy.kif 4126-4126	BarleyGrain ist eine teilkategorie von CerealGrain
(subclass RyeGrain CerealGrain)	Economy.kif 4132-4132	RyeGrain ist eine teilkategorie von CerealGrain
(subclass SorghumGrain CerealGrain)	Economy.kif 4137-4137	SorghumGrain ist eine teilkategorie von CerealGrain
(subclass MilletGrain CerealGrain)	Economy.kif 4142-4142	MilletGrain ist eine teilkategorie von CerealGrain