Sigma KB Term Intersection

(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1823-1828	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 5605-5605	River is a subclass of stream water area
(subclass River FreshWaterArea)	Geography.kif 5606-5606	River is a subclass of fresh water area
(subclass River BodyOfWater)	Geography.kif 5607-5607	River is a subclass of body of water