Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4715-4721	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是茶树空中部分的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 TeaPlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4706-4706	茶树空中部分是水果或蔬菜的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4707-4707	茶树空中部分是植物物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4711-4711	茶叶是茶树空中部分的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4712-4712	花茶是茶树空中部分的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4713-4713	茎茶是茶树空中部分的 subclass