| FreshWaterArea(plan d'eau non sal�)
| |
| 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 14292-14293 | |
| (externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg") | pictureList.kif 8492-8492 | |
| (subclass FreshWaterArea WaterArea) | Merge.kif 14291-14291 | Plan d'eau non sal� est une sous-classe de plan d'eau |
| appearance as argument number 2 |
|
|
| (disjoint SaltWaterArea FreshWaterArea) | Merge.kif 14287-14287 | Plan d'eau sal� est disjoint de plan d'eau non sal� |
| (subclass Creek FreshWaterArea) | Geography.kif 5944-5944 | Creek est une sous-classe de plan d'eau non sal� |
| (subclass Reservoir FreshWaterArea) | Geography.kif 5894-5894 | Reservoir est une sous-classe de plan d'eau non sal� |
| (subclass River FreshWaterArea) | Geography.kif 5743-5743 | River est une sous-classe de plan d'eau non sal� |
| (termFormat ChineseLanguage FreshWaterArea "淡水区") | chinese_format.kif 952-952 | River est une sous-classe de plan d'eau non sal� |
| (termFormat EnglishLanguage FreshWaterArea "fresh water area") | english_format.kif 1111-1111 | River est une sous-classe de plan d'eau non sal� |
| (termFormat FrenchLanguage FreshWaterArea "plan d'eau non sal�") | french_format.kif 628-628 | River est une sous-classe de plan d'eau non sal� |
| (termFormat Hindi FreshWaterArea "alavana jala kshetra") | terms-hindi.txt 159-159 | River est une sous-classe de plan d'eau non sal� |
| (termFormat ItalianLanguage FreshWaterArea "SuperficieD'AcquaDolce") | terms-it.txt 162-162 | River est une sous-classe de plan d'eau non sal� |
| (termFormat JapaneseLanguage FreshWaterArea "淡水地域") | japanese_format.kif 2313-2313 | River est une sous-classe de plan d'eau non sal� |
| (termFormat PortugueseLanguage FreshWaterArea "Area Aquatica nao-salgada") | portuguese_format.kif 580-580 | River est une sous-classe de plan d'eau non sal� |
| (termFormat cz FreshWaterArea "fresh water area") | terms-cz.txt 196-196 | River est une sous-classe de plan d'eau non sal� |
| (termFormat de FreshWaterArea "Suesswassergebiet") | terms-de.txt 455-455 | River est une sous-classe de plan d'eau non sal� |
| (termFormat ro FreshWaterArea "întindere de apã proaspãtã") | relations-ro.kif 649-649 | River est une sous-classe de plan d'eau non sal� |
| (termFormat tg FreshWaterArea "laki ng tubig wala asin") | terms-tg.txt 163-163 | River est une sous-classe de plan d'eau non sal� |
| antecedent |
|
|
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea)) |
Geography.kif 5504-5509 |
| consequent |
|
|
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea)) |
Geography.kif 5504-5509 | |
| (=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS)))) |
Geography.kif 6954-6959 |
|
|
|