Sigma KB Term Intersection

(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2876-2882	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of animal fat and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a animal
(subclass AnimalFat Oil)	Food.kif 2871-2871	Animal fat is a subclass of oil
(subclass Lard AnimalFat)	Food.kif 2884-2884	Lard is a subclass of animal fat
(subclass Suet AnimalFat)	Food.kif 2901-2901	Suet is a subclass of animal fat
(subclass Tallow AnimalFat)	Food.kif 2916-2916	Tallow is a subclass of animal fat