Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	等於 Object and OrganicObjectFn Object 子類 Object and 咖啡豆子類 Object and 種子 %每個 Object 是 CoffeePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4598-4598	子類 CoffeePlant and 灌木
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4611-4611	子類 CoffeaArabica and CoffeePlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4617-4617	子類 CoffeaRobusta and CoffeePlant