Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RiverMouth(river mouth)
|  | mouth |
| appearance as argument number 1 |
|
|
| (subclass RiverMouth WaterArea) | Geography.kif 7255-7255 | River mouth is a subclass of water area |
| (subclass RiverMouth StreamWaterArea) | Geography.kif 7256-7256 | River mouth is a subclass of stream water area |
| (documentation RiverMouth EnglishLanguage "RiverMouth is the subclass of WaterAreas that are the outfalls of a river or stream into another body of water.") | Geography.kif 7258-7259 | River mouth is a subclass of stream water area |
| (externalImage RiverMouth "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg") | pictureList.kif 1498-1498 | River mouth is a subclass of stream water area |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 6795-6800 | If X is an instance of estuary, then there exists Y such that Y is an instance of river mouth, Y, and X overlapsSpatially |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 7261-7270 | If X is an instance of river, Y is an instance of body of water, and Y is a flows of X, then there exists Z such that Z is an instance of river mouth, Z is the outfall of X, and Z is connected to Y |
| (=> (instance ?Delta Delta) (exists (?Mouth) (and (instance ?Mouth RiverMouth) (meetsSpatially ?Mouth ?Delta)))) |
Geography.kif 7382-7387 | If X is an instance of delta, then there exists Y such that Y is an instance of river mouth and Y meets X |
|