|
|
   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 4744-4746 | |
| (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 4742-4742 | LandlockedWater 是 BodyOfWater 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass SaltLake LandlockedWater) | Geography.kif 4751-4751 | SaltLake 是 LandlockedWater 的 subclass |
| (termFormat EnglishLanguage LandlockedWater "landlocked water") | domainEnglishFormat.kif 5958-5958 | termFormat EnglishLanguage, LandlockedWater and "landlocked water" |
| consequent |
|
|
| (<=> (attribute ?WATER OpenSea) (forall (?LAND) (and (instance ?AREA SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile))))) |
Geography.kif 4408-4415 | OpenSea 是 客体 的 attribute 若且唯若 对所有 物理 实体 是 盐水区 的 instance 和 那个 客体 不 是 LandlockedWater 的 instance 和 那个 物理 和 那个 客体 的 distance 是 长度测量 和 那个 长度测量 是 greaterThan 5 NauticalMile |
|
|
|
