Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2396-2398	如果有点植物 equal PlantFn Broccoli，然后有点植物是 CabbagePlant 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4265-4269	如果有点客体是花的 subclass 和有点客体 equal 菜花，然后 %每个那个有点客体是 CabbagePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4239-4243	如果有点客体是 PlantLeaf 的 subclass 和有点客体 equal 卷心菜，然后 %每个那个有点客体是 CabbagePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4257-4257	CabbagePlant 是 HerbaceousPlant 的 subclass