Sigma KB Term Intersection

(=> (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 Suet AnimalFat)	Food.kif 2901-2901	Suet ist eine teilkategorie von AnimalFat