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 5080-5082 | |
(externalImage LandlockedWater "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Blowdown_Lake.JPG") | pictureList.kif 1490-1490 | |
(subclass LandlockedWater BodyOfWater) | Geography.kif 5078-5078 | 子類 內陸水域 and 水體 |
appearance as argument number 2 |
(subclass SaltLake LandlockedWater) | Geography.kif 5087-5087 | 子類 鹽湖 and 內陸水域 |
(termFormat ChineseLanguage LandlockedWater "内陆水域") | domainEnglishFormat.kif 33241-33241 | |
(termFormat ChineseTraditionalLanguage LandlockedWater "內陸水域") | domainEnglishFormat.kif 33240-33240 | |
(termFormat EnglishLanguage LandlockedWater "landlocked water") | domainEnglishFormat.kif 33239-33239 |
consequent |
(<=> (attribute ?WATER OpenSea) (exists (?LAND ?DIST) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5.0)))) |
Geography.kif 4711-4720 | attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域 距離 Physical, Object and 測量 RealNumber and 海裡 比較多 RealNumber and 5.0 |