Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	If an entity is an instance of a kind of meat and a kind of meat is a subclass of seafood, then there exist an organism, the entityEA and a kind of animal such that the kind of meat is the meat of a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	If an object is an instance of seafood, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 1921-1921	Seafood is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1939-1939	Fish meat is a subclass of seafood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1946-1946	Shellfish is a subclass of seafood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	Mollusk is a subclass of seafood