Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3813-3813	CerealGrass est une sous-classe de Grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3817-3817	PaddyRice est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3821-3821	MaizeGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3826-3826	SorghumGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3860-3860	WheatGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4000-4000	RyeGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4007-4007	OatGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4012-4012	BarleyGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4017-4017	MilletGrass est une sous-classe de CerealGrass