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 2906-2914	等於 Object and OrganicObjectFn Object 子類 Object and Suet 子類 Object and FatTissue %每個 Object 是牛的 initially part %每個 Object 是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15235-15235	子類 FatTissue and ConnectiveTissue