Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 AnimalFat 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	AnimalFat 是油的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2884-2884	Lard 是 AnimalFat 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2901-2901	Suet 是 AnimalFat 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2916-2916	Tallow 是 AnimalFat 的 subclass