Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de OilFromPlant Objeto e' uma sub-classe de Seed Objeto e' uma sub-classe de Fruit Objeto Objeto e' uma sub-classe de Planta Florindo initialPart Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	OilFromPlant e' uma sub-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4545-4545	TeaTreeOil e' uma sub-classe de OilFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	VegetableOil e' uma sub-classe de OilFromPlant