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 WhiteOakWood Hardwood)	Economy.kif 5395-5395	White oak wood is a subclass of hardwood