|
|
   FreshWaterArea
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FreshWaterArea ChineseLanguage "这是一处不含盐 Water 的 WaterArea，例如： 河流和湖泊。") | chinese_format.kif 1451-1452 | |
| (documentation FreshWaterArea EnglishLanguage "A WaterArea whose Water is not saline, e.g. most rivers and lakes.") | Merge.kif 13138-13139 | |
| (externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg") | pictureList.kif 8496-8496 | |
| (subclass FreshWaterArea WaterArea) | Merge.kif 13137-13137 | 淡水区 是 水域 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint SaltWaterArea FreshWaterArea) | Merge.kif 13133-13133 | 盐水区 和 % 2 是 disjoint |
| (subclass Creek FreshWaterArea) | Geography.kif 5365-5365 | 溪 是 淡水区 的 subclass |
| (subclass Reservoir FreshWaterArea) | Geography.kif 5315-5315 | 贮水池 是 淡水区 的 subclass |
| (subclass River FreshWaterArea) | Geography.kif 5165-5165 | 河 是 淡水区 的 subclass |
| (termFormat ChineseLanguage FreshWaterArea "淡水区") | chinese_format.kif 952-952 | |
| (termFormat EnglishLanguage FreshWaterArea "fresh water area") | english_format.kif 1116-1116 |
| antecedent |
|
|
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea)) |
Geography.kif 4939-4944 |
| consequent |
|
|
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea)) |
Geography.kif 4939-4944 | |
| (=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS)))) |
Geography.kif 6085-6090 |
|
|
|
