Sigma KB Term Intersection

(=> (equal ?P (PlantFn Broccoli)) (subclass ?P CabbagePlant))	Food.kif 2396-2398	If a kind of plant is equal to plant fn broccoli, then a kind of plant is a subclass of cabbage plant
(=> (and (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4265-4269	If a kind of object is a subclass of flower and a kind of object is equal to cauliflower, then every the kind of object is initially part of a cabbage plant
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4239-4243	If a kind of object is a subclass of plant leaf and a kind of object is equal to cabbage, then every the kind of object is initially part of a cabbage plant
(subclass CabbagePlant HerbaceousPlant)	Economy.kif 4257-4257	Cabbage plant is a subclass of HerbaceousPlant