Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	Entit� est une instance de viande viande est une sous-classe de Seafood organisme entit�EA and animal meatOfAnimal viande and animal organisme est une instance de animal entit�EA est une instance de BodyOfWater organisme vie � entit�EA
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	Objet est une instance de Seafood objet objet organique objet est une instance de DeadFn objet organique objet est une partie de objet objet organique est une sous-classe de poisson
No TPTP formula. May not be expressible in strict first order.	Food.kif 1921-1921	Seafood est une sous-classe de viande
No TPTP formula. May not be expressible in strict first order.	Food.kif 1939-1939	FishMeat est une sous-classe de Seafood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1946-1946	Shellfish est une sous-classe de Seafood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	MolluskMeat est une sous-classe de Seafood