Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	如果客体是河的 instance 和有点自身连接物体是对于交通类别那个客体的 trafficable 和有点自身连接物体是水车的 subclass，然后那个客体是水路的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5576-5576	水路是公交专用道的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	水路是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1678-1678	航道是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1679-1679	运输渠道是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1680-1680	海道是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1690-1690	渠道是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1691-1691	运河锁是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1693-1693	港口是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2983-2983	水交界处是水路的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5593-5593	运河是水路的 subclass