| River
| |
| appearance as argument number 1 |
|
|
| (documentation River EnglishLanguage "River is the class of large streams of fresh water flowing through land into a lake, ocean, or other body of water.") | Geography.kif 5153-5154 | |
| (externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg") | pictureList.kif 879-879 | externalImage River and "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg" |
| (externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG") | pictureList.kif 913-913 | externalImage River and "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG" |
| (subclass River BodyOfWater) | Geography.kif 5151-5151 | subclass River and BodyOfWater |
| (subclass River FreshWaterArea) | Geography.kif 5150-5150 | subclass River and FreshWaterArea |
| (subclass River StreamWaterArea) | Geography.kif 5149-5149 | subclass River and StreamWaterArea |
| appearance as argument number 2 |
|
|
| (disjoint Creek River) | Geography.kif 5352-5352 | disjoint Creek and River |
| (instance HudsonRiver River) | CountriesAndRegions.kif 831-831 | instance HudsonRiver and River |
| (instance MississippiRiver River) | CountriesAndRegions.kif 739-739 | instance MississippiRiver and River |
| (instance RedRiver River) | CountriesAndRegions.kif 4242-4242 | instance RedRiver and River |
| (termFormat ChineseLanguage River "河") | domainEnglishFormat.kif 50035-50035 | termFormat ChineseLanguage, River and "河" |
| (termFormat ChineseTraditionalLanguage River "河") | domainEnglishFormat.kif 50034-50034 | termFormat ChineseTraditionalLanguage, River and "河" |
| (termFormat EnglishLanguage River "river") | domainEnglishFormat.kif 50033-50033 | termFormat EnglishLanguage, River and "river" |
| appearance as argument number 3 |
|
|
| (domain streamOutfall 2 River) | Geography.kif 5365-5365 | domain streamOutfall, 2 and River |
| antecedent |
|
|
| (=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R)) |
Geography.kif 5355-5359 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5338-5347 | |
| (=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1668-1673 |
| consequent |
|
|
| (=> (and (instance ?SYSTEM RiverSystem) (instance ?STREAM StreamWaterArea) (part ?STREAM ?SYSTEM)) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (flows ?STREAM ?RIVER)))) |
Geography.kif 5211-5220 | |
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5176-5183 | |
| (=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER)))) |
Transportation.kif 845-851 | |
| (=> (instance ?RAPIDS Rapids) (exists (?RIVER) (and (instance ?RIVER River) (part ?RAPIDS ?RIVER)))) |
Geography.kif 5316-5321 | |
| (=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC)))) |
Geography.kif 5202-5209 | |
| (=> (instance ?SYSTEM RiverSystem) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM)))) |
Geography.kif 5195-5200 | |
| (=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 4873-4878 | |
| (=> (instance ?bank RiverBank) (exists (?river) (and (instance ?river River) (meetsSpatially ?river ?bank)))) |
Geography.kif 5438-5443 |
|
|
|