Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14404-14404	Flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9356-9356	HerbaceousPlant is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9364-9364	WoodyPlant is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6274-6274	Vine is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6281-6281	Succulent is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6295-6295	Cactus is a subclass of flowering plant