Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de AnimalFat Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	AnimalFat e' uma sub-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Food.kif 2884-2884	Lard e' uma sub-classe de AnimalFat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2901-2901	Suet e' uma sub-classe de AnimalFat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2916-2916	Tallow e' uma sub-classe de AnimalFat