|
|
   SubmergedLandArea
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SubmergedLandArea EnglishLanguage "SubmergedLandArea is the class of land regions that are located beneath bodies of water.") | Geography.kif 6069-6070 | |
| (subclass SubmergedLandArea GeographicArea) | Geography.kif 6067-6067 | 淹没的土地面积 是 地理区域 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass ContinentalMargin SubmergedLandArea) | Geography.kif 6088-6088 | 大陆边缘 是 淹没的土地面积 的 subclass |
| (subclass ContinentalShelf SubmergedLandArea) | Geography.kif 6081-6081 | 大陆棚 是 淹没的土地面积 的 subclass |
| (subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1058-1058 | 海运货架区 是 淹没的土地面积 的 subclass |
| (subclass SeabedArea SubmergedLandArea) | Geography.kif 6104-6104 | 海底区域 是 淹没的土地面积 的 subclass |
| (termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") | domainEnglishFormat.kif 55746-55746 | |
| (termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") | domainEnglishFormat.kif 55745-55745 | |
| (termFormat EnglishLanguage SubmergedLandArea "submerged land area") | domainEnglishFormat.kif 55744-55744 |
| antecedent |
|
|
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 6072-6079 |
| consequent |
|
|
| (=> (and (instance ?F Flooding) (instance ?L LandArea) (eventLocated ?F ?L) (instance ?T TimePoint) (before ?T (WhenFn ?F))) (modalAttribute (holdsDuring ?T (instance ?L SubmergedLandArea)) Unlikely)) |
Weather.kif 1598-1608 |
|
|
|