Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WhiteOakWood) (subclass ?S PlantStem)) (initialPart ?S WhiteOakTree))	Economy.kif 5398-5403	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of white oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a white oak tree
(subclass WhiteOakTree DeciduousTree)	Geography.kif 6536-6536	White oak tree is a subclass of deciduous tree