Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 645-647	如果有点客体是咖啡的 subclass，然后 %每个咖啡豆是有点客体的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是咖啡豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是 CoffeePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4624-4624	咖啡豆是种子的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4625-4625	咖啡豆是 FoodFromPlant 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4636-4636	CoffeeArabica 是咖啡豆的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4660-4660	CoffeeRobusta 是咖啡豆的 subclass