Sigma KB Term Intersection

(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4166-4172	オブジェクトは OrganicObjectFn オブジェクトと equal では %n オブジェクトは Malt の subclass では %n オブジェクトは CerealGrain の subclass では %n initialPart オブジェクト and CerealGrass
(subclass CerealGrass Grass)	Economy.kif 3813-3813	CerealGrass は Grass の subclass では %n
(subclass PaddyRice CerealGrass)	Economy.kif 3817-3817	PaddyRice は CerealGrass の subclass では %n
(subclass MaizeGrass CerealGrass)	Economy.kif 3821-3821	MaizeGrass は CerealGrass の subclass では %n
(subclass SorghumGrass CerealGrass)	Economy.kif 3826-3826	SorghumGrass は CerealGrass の subclass では %n
(subclass WheatGrass CerealGrass)	Economy.kif 3860-3860	WheatGrass は CerealGrass の subclass では %n
(subclass RyeGrass CerealGrass)	Economy.kif 4000-4000	RyeGrass は CerealGrass の subclass では %n
(subclass OatGrass CerealGrass)	Economy.kif 4007-4007	OatGrass は CerealGrass の subclass では %n
(subclass BarleyGrass CerealGrass)	Economy.kif 4012-4012	BarleyGrass は CerealGrass の subclass では %n
(subclass MilletGrass CerealGrass)	Economy.kif 4017-4017	MilletGrass は CerealGrass の subclass では %n