Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3840-3845	Objeto e' uma instancia de AegilopsGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3831-3831	AegilopsGrass e' uma sub-classe de Grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3847-3847	AegilopsTauschii e' uma sub-classe de AegilopsGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3854-3854	AegilopsSpeltoides e' uma sub-classe de AegilopsGrass