Sigma KB Term Intersection

(=> (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
(subclass Cauliflower Vegetable)	Economy.kif 4262-4262	Cauliflower is a subclass of vegetable