| Estuary
| |
| appearance as argument number 1 |
|
|
| (documentation Estuary EnglishLanguage "Estuary is the subclass of BodyOfWater that represents WaterAreas where a sea or ocean Tide meets a River current.") | Geography.kif 4861-4863 | |
| (externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") | pictureList.kif 2467-2467 | |
| (externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg") | pictureList.kif 896-896 | |
| (subclass Estuary BodyOfWater) | Geography.kif 4857-4857 | subclass Estuary and BodyOfWater |
| (subclass Estuary Inlet) | Geography.kif 4859-4859 | subclass Estuary and Inlet |
| (subclass Estuary SaltWaterArea) | Geography.kif 4858-4858 | subclass Estuary and SaltWaterArea |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Estuary "河口") | domainEnglishFormat.kif 22381-22381 | |
| (termFormat ChineseTraditionalLanguage Estuary "河口") | domainEnglishFormat.kif 22380-22380 | |
| (termFormat EnglishLanguage Estuary "estuary") | domainEnglishFormat.kif 22379-22379 |
| antecedent |
|
|
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 4880-4885 |
|
| (=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 4873-4878 | |
| (=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER)))) |
Geography.kif 4865-4871 | |
| (=> (instance ?WATER Estuary) (exists (?TIDES) (and (instance ?TIDES TidalProcess) (eventLocated ?TIDES ?WATER)))) |
Geography.kif 4887-4892 |
|
|
|
|