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