Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	如果客体是海鲜的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14588-14588	鱼是冷血脊椎动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2535-2535	Cod 是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2536-2536	鲑鱼是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3403-3403	Skate 是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3518-3518	Tuna 是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4926-4926	观赏鱼是鱼的 subclass