Sigma KB Term Intersection

(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep))	Economy.kif 5051-5056	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von Sheepskin und Object ist eine teilkategorie von Skin, dann initialPart ** Object and Sheep
(=> (and (equal ?P (OrganicObjectFn ?S)) (subclass ?P Pelt)) (subclass ?S Skin))	Economy.kif 5032-5036	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Pelt, dann OrganicObject ist eine teilkategorie von Skin
(=> (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 Skin BodyCovering)	Mid-level-ontology.kif 10986-10986	Skin ist eine teilkategorie von BodyCovering
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 10987-10987	Skin ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Eyelid Skin)	Mid-level-ontology.kif 12155-12155	Eyelid ist eine teilkategorie von Skin