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 |
appearance as argument number 2 |
(subclass ContinentalMargin SubmergedLandArea) | Geography.kif 6088-6088 | |
(subclass ContinentalShelf SubmergedLandArea) | Geography.kif 6081-6081 | |
(subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1058-1058 | |
(subclass SeabedArea SubmergedLandArea) | Geography.kif 6104-6104 | |
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") | domainEnglishFormat.kif 55748-55748 | |
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") | domainEnglishFormat.kif 55747-55747 | |
(termFormat EnglishLanguage SubmergedLandArea "submerged land area") | domainEnglishFormat.kif 55746-55746 |
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 1581-1591 |