Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W LarchWood) (subclass ?S PlantStem)) (initialPart ?S LarchTree))	Economy.kif 5441-5446	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of larch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a larch tree
(subclass LarchTree Conifers)	Geography.kif 6587-6587	Larch tree is a subclass of conifers