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 ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep)))	Food.kif 2906-2914	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von Suet und Object ist eine teilkategorie von FatTissue, dann initialPart Object and Cattle oder initialPart Object and Sheep
(subclass Sheep HoofedMammal)	Mid-level-ontology.kif 20177-20177	Sheep ist eine teilkategorie von HoofedMammal
(subclass Sheep DomesticAnimal)	Mid-level-ontology.kif 20178-20178	Sheep ist eine teilkategorie von DomesticAnimal
(subclass Lamb Sheep)	Mid-level-ontology.kif 20182-20182	Lamb ist eine teilkategorie von Sheep