Sigma KB Term Intersection

(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2876-2882	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von AnimalFat und Object ist eine teilkategorie von FatTissue, dann initialPart ** Object and Animal
(=> (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 FatTissue ConnectiveTissue)	Merge.kif 15257-15257	FatTissue ist eine teilkategorie von ConnectiveTissue