Sigma KB Term Intersection

(=> (equal ?P (PlantFn Broccoli)) (subclass ?P CabbagePlant))	Food.kif 2396-2398	如果有点植物 equal PlantFn Broccoli，然后有点植物是 CabbagePlant 的 subclass
(=> (and (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4265-4269	如果有点客体是花的 subclass 和有点客体 equal 菜花，然后 %每个那个有点客体是 CabbagePlant 的 initially part
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4239-4243	如果有点客体是 PlantLeaf 的 subclass 和有点客体 equal 卷心菜，然后 %每个那个有点客体是 CabbagePlant 的 initially part
(subclass CabbagePlant HerbaceousPlant)	Economy.kif 4257-4257	CabbagePlant 是 HerbaceousPlant 的 subclass