Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PineWood) (subclass ?S PlantStem)) (initialPart ?S PineTree))	Economy.kif 5461-5466	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of PineWood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a pine tree
(subclass PineWood Softwood)	Economy.kif 5458-5458	PineWood is a subclass of softwood