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 5304-5306 | |
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") | pictureList.kif 2465-2465 | |
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary_mouth.jpg") | pictureList.kif 895-895 | |
(subclass Estuary BodyOfWater) | Geography.kif 5300-5300 | Estuary は BodyOfWater の subclass では |
(subclass Estuary Inlet) | Geography.kif 5302-5302 | Estuary は Inlet の subclass では |
(subclass Estuary SaltWaterArea) | Geography.kif 5301-5301 | Estuary は 塩水地域 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Estuary "河口") | domainEnglishFormat.kif 22462-22462 | |
(termFormat ChineseTraditionalLanguage Estuary "河口") | domainEnglishFormat.kif 22461-22461 | |
(termFormat EnglishLanguage Estuary "estuary") | domainEnglishFormat.kif 22460-22460 |
antecedent |
![]() |
(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 5323-5328 |
|
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 5316-5321 | |
(=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER)))) |
Geography.kif 5308-5314 | |
(=> (instance ?WATER Estuary) (exists (?TIDES) (and (instance ?TIDES TidalProcess) (eventLocated ?TIDES ?WATER)))) |
Geography.kif 5330-5335 |
|
![]() |
![]() |