SubmergedLandArea - Sigma Knowledge base Browser

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	SubmergedLandArea est une sous-classe de secteur g�ographique

appearance as argument number 2

(subclass ContinentalMargin SubmergedLandArea)	Geography.kif 6157-6157	ContinentalMargin est une sous-classe de SubmergedLandArea
(subclass ContinentalShelf SubmergedLandArea)	Geography.kif 6150-6150	ContinentalShelf est une sous-classe de SubmergedLandArea
(subclass MaritimeShelfArea SubmergedLandArea)	Geography.kif 1052-1052	MaritimeShelfArea est une sous-classe de SubmergedLandArea
(subclass SeabedArea SubmergedLandArea)	Geography.kif 6173-6173	SeabedArea est une sous-classe de SubmergedLandArea
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积")	domainEnglishFormat.kif 55779-55779	SeabedArea est une sous-classe de SubmergedLandArea
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積")	domainEnglishFormat.kif 55778-55778	SeabedArea est une sous-classe de SubmergedLandArea
(termFormat EnglishLanguage SubmergedLandArea "submerged land area")	domainEnglishFormat.kif 55777-55777	SeabedArea est une sous-classe de SubmergedLandArea

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