Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	等於 Object and OrganicObjectFn Object 子類 Object and AnimalFat 子類 Object and FatTissue %每個 Object 是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	子類 AnimalFat and 油
No TPTP formula. May not be expressible in strict first order.	Food.kif 2884-2884	子類 Lard and AnimalFat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2901-2901	子類 Suet and AnimalFat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2916-2916	子類 Tallow and AnimalFat