Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2421-2423	If a kind of plant is equal to plant fn cashew nut, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree 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.	Food.kif 3489-3491	If a kind of plant is equal to plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9478-9478	Botanical tree is a subclass of WoodyPlant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6388-6388	Deciduous tree is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6544-6544	Evergreen tree is a subclass of botanical tree