Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely))	Economy.kif 5409-5416	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Softwood und OrganicObject ist eine teilkategorie von PlantStem, dann die Aussage initialPart OrganicObject and Conifers hat die modale Kraft von Likely
(subclass Softwood WoodProduct)	Economy.kif 5405-5405	Softwood ist eine teilkategorie von WoodProduct
(subclass CedarWood Softwood)	Economy.kif 5418-5418	CedarWood ist eine teilkategorie von Softwood
(subclass FirWood Softwood)	Economy.kif 5428-5428	FirWood ist eine teilkategorie von Softwood
(subclass LarchWood Softwood)	Economy.kif 5438-5438	LarchWood ist eine teilkategorie von Softwood
(subclass SpruceWood Softwood)	Economy.kif 5448-5448	SpruceWood ist eine teilkategorie von Softwood
(subclass PineWood Softwood)	Economy.kif 5458-5458	PineWood ist eine teilkategorie von Softwood