| StaticWaterArea | |
| appearance as argument number 1 |
|
|
| (documentation StaticWaterArea EnglishLanguage "A WaterArea in which water does not flow constantly or in the same direction, e.g. most lakes and ponds.") | Mid-level-ontology.kif 10264-10265 | |
| (subclass StaticWaterArea WaterArea) | Mid-level-ontology.kif 10263-10263 |
| appearance as argument number 2 |
|
|
| (disjoint StreamWaterArea StaticWaterArea) | Mid-level-ontology.kif 10258-10258 | |
| (disjoint WaterCurrent StaticWaterArea) | Geography.kif 5011-5011 | |
| (subclass Lake StaticWaterArea) | Geography.kif 5797-5797 | |
| (termFormat ChineseLanguage StaticWaterArea "静水区") | chinese_format.kif 954-954 | |
| (termFormat EnglishLanguage StaticWaterArea "static water area") | english_format.kif 1115-1115 | |
| (termFormat FrenchLanguage StaticWaterArea "plan d'eau stagnant") | french_format.kif 630-630 | |
| (termFormat Hindi StaticWaterArea "swhita jala kshetra") | terms-hindi.txt 161-161 | |
| (termFormat ItalianLanguage StaticWaterArea "SuperficieD'AcquaFerma") | terms-it.txt 164-164 | |
| (termFormat JapaneseLanguage StaticWaterArea "静水域") | japanese_format.kif 2315-2315 | |
| (termFormat PortugueseLanguage StaticWaterArea "Area aquatica parada") | portuguese_format.kif 582-582 | |
| (termFormat cz StaticWaterArea "static water area") | terms-cz.txt 198-198 | |
| (termFormat de StaticWaterArea "feststehendes Wassergebiet") | terms-de.txt 457-457 | |
| (termFormat ro StaticWaterArea "întindere de apã stãtutã") | relations-ro.kif 651-651 | |
| (termFormat tg StaticWaterArea "liki ng ubig tahimik") | terms-tg.txt 165-165 |
| consequent |
|
|
| (=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC)))) |
Geography.kif 5594-5601 |
|
|
|