Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	等於 Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	子類 OilFromPlant and 油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4545-4545	子類 TeaTreeOil and OilFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	子類植物油 and OilFromPlant