(=>
(and
(instance ?B EndorheicBasin)
(instance ?R River)
(located ?R ?B))
(not
(exists (?OUT)
(and
(instance ?OUT BodyOfWater)
(flows ?R ?OUT))))) |
Geography.kif 470-479 |
If X is an instance of endorheic basin, Y is an instance of river, and Y is located at X, then there doesn't exist Z such that Z is an instance of body of water and Z is a flows of Y |
(=>
(instance ?WATER Estuary)
(exists (?RIVER)
(and
(instance ?RIVER River)
(flows ?RIVER ?WATER)))) |
Geography.kif 6788-6793 |
If X is an instance of estuary, then there exists Y such that Y is an instance of river and X is a flows of Y |
(=>
(instance ?STREAM StreamWaterArea)
(exists (?WATER)
(and
(instance ?WATER BodyOfWater)
(not
(equal ?WATER ?STREAM))
(flows ?STREAM ?WATER)))) |
Geography.kif 7020-7026 |
If X is an instance of stream water area, then there exists Y such that Y is an instance of body of water, equal Y, X, and Y is a flows of X |
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM1 ?STREAM2)
(and
(instance ?STREAM1 StreamWaterArea)
(connects ?FORK ?STREAM1 ?STREAM2)
(instance ?STREAM2 StreamWaterArea)
(flows ?STREAM1 ?STREAM2)))) |
Geography.kif 7089-7096 |
If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of stream water area, X connects Y, Z, Z is an instance of stream water area, and Z is a flows of Y |
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM ?BRANCH)
(and
(instance ?STREAM River)
(instance ?BRANCH StreamWaterArea)
(flows ?BRANCH ?STREAM)
(connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 7098-7105 |
If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of river, Z is an instance of stream water area, Y is a flows of Z, X connects Y, and Z |
(=>
(and
(instance ?SYSTEM RiverSystem)
(instance ?STREAM StreamWaterArea)
(part ?STREAM ?SYSTEM))
(exists (?RIVER)
(and
(instance ?RIVER River)
(part ?RIVER ?SYSTEM)
(flows ?STREAM ?RIVER)))) |
Geography.kif 7133-7142 |
If X is an instance of river system, Y is an instance of stream water area, and Y is a part of X, then there exists Z such that Z is an instance of river, Z is a part of X, and Z is a flows of Y |
(=>
(streamOutfall ?MOUTH ?RIVER)
(exists (?WATER)
(and
(instance ?WATER WaterArea)
(flows ?RIVER ?WATER)
(connected ?MOUTH ?WATER)))) |
Geography.kif 7293-7299 |
If X is the outfall of Y, then there exists Z such that Z is an instance of water area, Z is a flows of Y, and X is connected to Z |
