| RiverMouth
| |
| appearance as argument number 1 |
|
|
| (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 5349-5350 | |
| (externalImage RiverMouth "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg") | pictureList.kif 1499-1499 | |
| (subclass RiverMouth StreamWaterArea) | Geography.kif 5347-5347 | |
| (subclass RiverMouth WaterArea) | Geography.kif 5346-5346 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RiverMouth "河口") | domainEnglishFormat.kif 50042-50042 | |
| (termFormat ChineseTraditionalLanguage RiverMouth "河口") | domainEnglishFormat.kif 50041-50041 | |
| (termFormat EnglishLanguage RiverMouth "river mouth") | domainEnglishFormat.kif 50040-50040 |
| consequent |
|
|
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5352-5361 | |
| (=> (instance ?Delta Delta) (exists (?Mouth) (and (instance ?Mouth RiverMouth) (meetsSpatially ?Mouth ?Delta)))) |
Geography.kif 5473-5478 | |
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 4895-4900 |
|
|
|