Sigma KB Term Intersection

(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1683-1688	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway
(subclass River StreamWaterArea)	Geography.kif 5472-5472	River is a subclass of stream water area
(subclass River FreshWaterArea)	Geography.kif 5473-5473	River is a subclass of fresh water area
(subclass River BodyOfWater)	Geography.kif 5474-5474	River is a subclass of body of water