|
|
   RiverSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RiverSystem EnglishLanguage "A RiverSystem comprises all the tributary streams and rivers (StreamWaterAreas) that drain along converging paths into the main river of the system, which discharges into a StaticWaterArea.") | Geography.kif 5175-5178 | |
| (externalImage RiverSystem "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ 2007_0810klklk0004.JPG") | pictureList.kif 1961-1961 | |
| (subclass RiverSystem Collection) | Geography.kif 5173-5173 | |
| (subclass RiverSystem WaterArea) | Geography.kif 5172-5172 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RiverSystem "river system") | domainEnglishFormat.kif 8778-8778 |
| antecedent |
|
|
| (=> (and (instance ?SYSTEM RiverSystem) (instance ?STREAM StreamWaterArea) (part ?STREAM ?SYSTEM)) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (flows ?STREAM ?RIVER)))) |
Geography.kif 5196-5205 | |
| (=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC)))) |
Geography.kif 5187-5194 | |
| (=> (instance ?SYSTEM RiverSystem) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM)))) |
Geography.kif 5180-5185 |
|
|
|
