Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	Oil from plant is a subclass of oil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4545-4545	Tea tree oil is a subclass of oil from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	Vegetable oil is a subclass of oil from plant