Sigma KB Term Intersection

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.	Merge.kif 14566-14566	Fish is a subclass of cold blooded vertebrate
No TPTP formula. May not be expressible in strict first order.	Food.kif 2535-2535	Cod is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 2536-2536	Salmon is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 3403-3403	Skate is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 3518-3518	Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4926-4926	Ornamental fish is a subclass of fish