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 5791-5792 | |
(externalImage RiverMouth "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg") | pictureList.kif 1498-1498 | |
(subclass RiverMouth StreamWaterArea) | Geography.kif 5789-5789 | |
(subclass RiverMouth WaterArea) | Geography.kif 5788-5788 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage RiverMouth "河口") | domainEnglishFormat.kif 50118-50118 | |
(termFormat ChineseTraditionalLanguage RiverMouth "河口") | domainEnglishFormat.kif 50117-50117 | |
(termFormat EnglishLanguage RiverMouth "river mouth") | domainEnglishFormat.kif 50116-50116 |
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 5794-5803 | |
(=> (instance ?Delta Delta) (exists (?Mouth) (and (instance ?Mouth RiverMouth) (meetsSpatially ?Mouth ?Delta)))) |
Geography.kif 5915-5920 | |
(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 5323-5328 |
![]() |
![]() |