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 Flower PlantAnatomicalStructure)	Mid-level-ontology.kif 9548-9548	Flower is a subclass of plant anatomical structure
(subclass Flower Organ)	Mid-level-ontology.kif 9549-9549	Flower is a subclass of organ