Sigma KB Term Intersection

(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1683-1688	オブジェクトは River の instance では %n trafficableForTrafficType オブジェクト and 自己接続オブジェクト自己接続オブジェクトは WaterVehicle の subclass では %n オブジェクトは Waterway の instance では %n
(subclass Waterway Transitway)	Geography.kif 5576-5576	Waterway は Transitway の subclass では %n
(subclass Waterway WaterArea)	Geography.kif 5577-5577	Waterway は水域の subclass では %n
(subclass ShippingLane Waterway)	Transportation.kif 1678-1678	ShippingLane は Waterway の subclass では %n
(subclass ShippingChannel Waterway)	Transportation.kif 1679-1679	ShippingChannel は Waterway の subclass では %n
(subclass SeaLane Waterway)	Transportation.kif 1680-1680	SeaLane は Waterway の subclass では %n
(subclass Channel Waterway)	Transportation.kif 1690-1690	Channel は Waterway の subclass では %n
(subclass CanalLock Waterway)	Transportation.kif 1691-1691	CanalLock は Waterway の subclass では %n
(subclass Harbor Waterway)	Transportation.kif 1693-1693	Harbor は Waterway の subclass では %n
(subclass WaterJunction Waterway)	Transportation.kif 2983-2983	WaterJunction は Waterway の subclass では %n
(subclass Canal Waterway)	Geography.kif 5593-5593	Canal は Waterway の subclass では %n