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 2906-2914	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Suet Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Cattle initialPart Objeto and Sheep
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15281-15281	Tecido Gorduroso e' uma sub-classe de ConnectiveTissue