| SaltWaterArea(塩水地域)
| |
| appearance as argument number 1 |
|
|
| (disjoint SaltWaterArea FreshWaterArea) | Merge.kif 14287-14287 | 塩水地域 と 淡水地域 は disjoint では |
| (documentation SaltWaterArea ChineseLanguage "这是一处含盐 Water 的 WaterArea，例如：海洋和 海。") | chinese_format.kif 1449-1450 | 塩水地域 と 淡水地域 は disjoint では |
| (documentation SaltWaterArea EnglishLanguage "A WaterArea whose Water is saline, e.g. oceans and seas.") | Merge.kif 14288-14289 | 塩水地域 と 淡水地域 は disjoint では |
| (externalImage SaltWaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Wiki_plot_04.png") | pictureList.kif 2518-2518 | 塩水地域 と 淡水地域 は disjoint では |
| (externalImage SaltWaterArea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif") | pictureList.kif 2624-2624 | 塩水地域 と 淡水地域 は disjoint では |
| (subclass SaltWaterArea WaterArea) | Merge.kif 14286-14286 | 塩水地域 は 水域 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain SeacoastFn 2 SaltWaterArea) | Geography.kif 6415-6415 | SeacoastFn の数値 2 引数は 塩水地域 の instance では |
| antecedent |
|
|
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea)) |
Geography.kif 5530-5535 |
| 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 では |
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6429-6434 | |
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea)) |
Geography.kif 5530-5535 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 1107-1115 | |
| (=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 5392-5397 | |
| (=> (instance ?SW SeaWater) (exists (?S) (and (located ?SW ?S) (instance ?S SaltWaterArea)))) |
Geography.kif 2987-2992 | |
| (=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER)))) |
Geography.kif 5478-5484 |
|
|
|