Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	Animal fat is a subclass of oil
No TPTP formula. May not be expressible in strict first order.	Food.kif 2884-2884	Lard is a subclass of animal fat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2901-2901	Suet is a subclass of animal fat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2916-2916	Tallow is a subclass of animal fat