Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4715-4721	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a TeaPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4723-4723	TeaPlant is a subclass of evergreen tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4724-4724	TeaPlant is a subclass of shrub