Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	Objet est OrganicObjectFn objet objet est une sous-classe de OilFromPlant objet est une sous-classe de Seed objet est une sous-classe de Fruit objet objet est une sous-classe de plant florissante initialPart objet and objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	OilFromPlant est une sous-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4545-4545	TeaTreeOil est une sous-classe de OilFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	VegetableOil est une sous-classe de OilFromPlant