| LandlockedWater
| |
| appearance as argument number 1 |
|
|
| (documentation LandlockedWater EnglishLanguage "LandlockedWater includes water areas that are surrounded by land, including salt lakes, fresh water lakes, ponds, reservoirs, and (more or less) wetlands.") | Geography.kif 4758-4760 | |
| (externalImage LandlockedWater "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Blowdown_Lake.JPG") | pictureList.kif 1491-1491 | externalImage LandlockedWater and "http://upload.wikimedia.org/wikipedia/commons/7/71/ Blowdown_Lake.JPG" |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 4756-4756 | subclass LandlockedWater and BodyOfWater |
| appearance as argument number 2 |
|
|
| (subclass SaltLake LandlockedWater) | Geography.kif 4765-4765 | subclass SaltLake and LandlockedWater |
| (termFormat ChineseLanguage LandlockedWater "内陆水域") | domainEnglishFormat.kif 33151-33151 | termFormat ChineseLanguage, LandlockedWater and "内陆水域" |
| (termFormat ChineseTraditionalLanguage LandlockedWater "內陸水域") | domainEnglishFormat.kif 33150-33150 | termFormat ChineseTraditionalLanguage, LandlockedWater and "內陸水域" |
| (termFormat EnglishLanguage LandlockedWater "landlocked water") | domainEnglishFormat.kif 33149-33149 | termFormat EnglishLanguage, LandlockedWater and "landlocked water" |
| consequent |
|
|
| (<=> (attribute ?WATER OpenSea) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile)))) |
Geography.kif 4421-4429 | attribute Object and OpenSea instance Object and SaltWaterArea instance Object and LandlockedWater distance Physical, Object and LengthMeasure greaterThan LengthMeasure and MeasureFn 5 and NauticalMile |
|
|
|