Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WalnutWood) (subclass ?S PlantStem)) (initialPart ?S WalnutTree))	Economy.kif 5388-5393	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of walnut wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a walnut tree
(subclass WalnutWood Hardwood)	Economy.kif 5385-5385	Walnut wood is a subclass of hardwood