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 6138-6139 | |
(subclass SubmergedLandArea GeographicArea) | Geography.kif 6136-6136 |
appearance as argument number 2 |
![]() |
(subclass ContinentalMargin SubmergedLandArea) | Geography.kif 6157-6157 | |
(subclass ContinentalShelf SubmergedLandArea) | Geography.kif 6150-6150 | |
(subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1052-1052 | |
(subclass SeabedArea SubmergedLandArea) | Geography.kif 6173-6173 | |
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") | domainEnglishFormat.kif 55779-55779 | |
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") | domainEnglishFormat.kif 55778-55778 | |
(termFormat EnglishLanguage SubmergedLandArea "submerged land area") | domainEnglishFormat.kif 55777-55777 |
antecedent |
![]() |
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 6141-6148 |
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 1580-1590 |
![]() |
![]() |