Sigma KB Term Intersection

(=> (and (equal ?T (OrganicObjectFn ?S)) (subclass ?T TeaPlantAerialPart) (subclass ?S PlantStem)) (initialPart ?S TeaPlant))	Economy.kif 4715-4721	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a TeaPlant
(subclass TeaPlant EvergreenTree)	Economy.kif 4723-4723	TeaPlant is a subclass of evergreen tree
(subclass TeaPlant Shrub)	Economy.kif 4724-4724	TeaPlant is a subclass of shrub