Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2421-2423	等於 Plant and PlantFn 腰果子類 Plant and 植物樹
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	等於 Object and OrganicObjectFn Object 子類 Object and WoodProduct 子類 Object and PlantStem Object 子類 Object and 植物樹 %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 3489-3491	等於 Plant and PlantFn TamarindFruit 子類 Plant and 植物樹
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9478-9478	子類植物樹 and WoodyPlant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6388-6388	子類 DeciduousTree and 植物樹
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6544-6544	子類 EvergreenTree and 植物樹