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	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von WoodProduct und Object ist eine teilkategorie von PlantStem, dann es gibt Object um Object ist eine teilkategorie von BotanicalTree und initialPart Object and Object
(subclass WoodProduct ForestProduct)	Economy.kif 5224-5224	WoodProduct ist eine teilkategorie von ForestProduct
(subclass WoodProduct OrganicCompound)	Economy.kif 5225-5225	WoodProduct ist eine teilkategorie von OrganicCompound
(subclass WoodProduct PlantSubstance)	Economy.kif 5226-5226	WoodProduct ist eine teilkategorie von PlantSubstance
(subclass Hardwood WoodProduct)	Economy.kif 5278-5278	Hardwood ist eine teilkategorie von WoodProduct
(subclass Softwood WoodProduct)	Economy.kif 5405-5405	Softwood ist eine teilkategorie von WoodProduct
(subclass Timber WoodProduct)	Economy.kif 5495-5495	Timber ist eine teilkategorie von WoodProduct
(subclass Lumber WoodProduct)	Economy.kif 5532-5532	Lumber ist eine teilkategorie von WoodProduct
(subclass WoodenArtifact WoodProduct)	Economy.kif 5572-5572	WoodenArtifact ist eine teilkategorie von WoodProduct