|
|
   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 | SubmergedLandArea は 地理的地域 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ContinentalMargin SubmergedLandArea) | Geography.kif 6088-6088 | ContinentalMargin は SubmergedLandArea の subclass では %n |
| (subclass ContinentalShelf SubmergedLandArea) | Geography.kif 6081-6081 | ContinentalShelf は SubmergedLandArea の subclass では %n |
| (subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1058-1058 | MaritimeShelfArea は SubmergedLandArea の subclass では %n |
| (subclass SeabedArea SubmergedLandArea) | Geography.kif 6104-6104 | SeabedArea は SubmergedLandArea の subclass では %n |
| (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 |
|
|
|