Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9521-9521	Flower is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9522-9522	Flower is a subclass of organ