Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5472-5472	River is a subclass of stream water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5473-5473	River is a subclass of fresh water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	River is a subclass of body of water