Sigma KB Term Intersection

(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1668-1673	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 5149-5149	River is a subclass of stream water area
(subclass River FreshWaterArea)	Geography.kif 5150-5150	River is a subclass of fresh water area
(subclass River BodyOfWater)	Geography.kif 5151-5151	River is a subclass of body of water