Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WoodProduct) (subclass ?S PlantStem)) (exists (?T) (and (subclass ?T BotanicalTree) (initialPart ?S ?T))))	Economy.kif 5235-5244	Objet est OrganicObjectFn objet objet est une sous-classe de WoodProduct objet est une sous-classe de PlantStem objet objet est une sous-classe de BotanicalTree initialPart objet and objet
(subclass WoodProduct ForestProduct)	Economy.kif 5224-5224	WoodProduct est une sous-classe de ForestProduct
(subclass WoodProduct OrganicCompound)	Economy.kif 5225-5225	WoodProduct est une sous-classe de OrganicCompound
(subclass WoodProduct PlantSubstance)	Economy.kif 5226-5226	WoodProduct est une sous-classe de PlantSubstance
(subclass Hardwood WoodProduct)	Economy.kif 5278-5278	Hardwood est une sous-classe de WoodProduct
(subclass Softwood WoodProduct)	Economy.kif 5405-5405	Softwood est une sous-classe de WoodProduct
(subclass Timber WoodProduct)	Economy.kif 5495-5495	Timber est une sous-classe de WoodProduct
(subclass Lumber WoodProduct)	Economy.kif 5532-5532	Lumber est une sous-classe de WoodProduct
(subclass WoodenArtifact WoodProduct)	Economy.kif 5572-5572	WoodenArtifact est une sous-classe de WoodProduct