Sigma KB Term Intersection

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 4234-4234	卷心菜是蔬菜的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4245-4245	SavoyCabbage 是卷心菜的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4248-4248	NapaCabbage 是卷心菜的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4251-4251	GreenCabbage 是卷心菜的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4254-4254	RedCabbage 是卷心菜的 subclass