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 5966-5967 | |
(subclass SubmergedLandArea GeographicArea) | Geography.kif 5964-5964 |
appearance as argument number 2 |
![]() |
(subclass ContinentalMargin SubmergedLandArea) | Geography.kif 5985-5985 | |
(subclass ContinentalShelf SubmergedLandArea) | Geography.kif 5978-5978 | |
(subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1065-1065 | |
(subclass SeabedArea SubmergedLandArea) | Geography.kif 6001-6001 | |
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") | domainEnglishFormat.kif 55725-55725 | |
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") | domainEnglishFormat.kif 55724-55724 | |
(termFormat EnglishLanguage SubmergedLandArea "submerged land area") | domainEnglishFormat.kif 55723-55723 |
antecedent |
![]() |
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5969-5976 |
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 1597-1607 |
![]() |
![]() |