| 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 5334-5336 | |
| (externalImage LandlockedWater "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Blowdown_Lake.JPG") | pictureList.kif 1490-1490 | |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 5332-5332 | LandlockedWater は BodyOfWater の subclass では |
| appearance as argument number 2 |
|
|
| (subclass SaltLake LandlockedWater) | Geography.kif 5341-5341 | SaltLake は LandlockedWater の subclass では |
| (termFormat ChineseLanguage LandlockedWater "内陆水域") | domainEnglishFormat.kif 33252-33252 | SaltLake は LandlockedWater の subclass では |
| (termFormat ChineseTraditionalLanguage LandlockedWater "內陸水域") | domainEnglishFormat.kif 33251-33251 | SaltLake は LandlockedWater の subclass では |
| (termFormat EnglishLanguage LandlockedWater "landlocked water") | domainEnglishFormat.kif 33250-33250 | SaltLake は LandlockedWater の subclass では |
| 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 4951-4960 | OpenSea は オブジェクト の attribute では 物理 実数 オブジェクト は 塩水地域 の instance では オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では 実数 は 5.0 より greater では |
|
|
|