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 4706-4706	Tea plant aerial part is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4707-4707	Tea plant aerial part is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4711-4711	Tea leaf is a subclass of tea plant aerial part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4712-4712	Tea bud is a subclass of tea plant aerial part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4713-4713	Tea twig is a subclass of tea plant aerial part