Sigma KB Term Intersection

(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb))	Economy.kif 5041-5046	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von Lambskin und Object ist eine teilkategorie von Skin, dann initialPart ** Object and Lamb
(subclass Lambskin Pelt)	Economy.kif 5038-5038	Lambskin ist eine teilkategorie von Pelt