Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4693-4699	等於 Object and OrganicObjectFn Object 子類 Object and 可可豆子類 Object and 種子 %每個 Object 是可可樹的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4686-4686	子類可可豆 and 種子
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4687-4687	子類可可豆 and 植物物質