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 5512-5515 | |
(externalImage RiverSystem "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ 2007_0810klklk0004.JPG") | pictureList.kif 1960-1960 | |
(subclass RiverSystem Collection) | Geography.kif 5510-5510 | 子類 河流系統 and Collection |
(subclass RiverSystem WaterArea) | Geography.kif 5509-5509 | 子類 河流系統 and WaterArea |
appearance as argument number 2 |
(termFormat ChineseLanguage RiverSystem "河流系统") | domainEnglishFormat.kif 50128-50128 | |
(termFormat ChineseTraditionalLanguage RiverSystem "河流系統") | domainEnglishFormat.kif 50127-50127 | |
(termFormat EnglishLanguage RiverSystem "river system") | domainEnglishFormat.kif 50126-50126 |
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 5533-5542 | |
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC)))) |
Geography.kif 5524-5531 | |
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM)))) |
Geography.kif 5517-5522 |