Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 645-647	子類 Object and 咖啡 %每個咖啡豆是 Object 的 initially part
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 4624-4624	子類咖啡豆 and 種子
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4625-4625	子類咖啡豆 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4636-4636	子類 CoffeeArabica and 咖啡豆
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4660-4660	子類 CoffeeRobusta and 咖啡豆