TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SubmergedLandArea GeographicArea)	Geography.kif 7667-7667	Submerged land area is a subclass of geographic area
(documentation SubmergedLandArea EnglishLanguage "SubmergedLandArea is the class of land regions that are located beneath bodies of water.")	Geography.kif 7669-7670	Submerged land area is a subclass of geographic area

appearance as argument number 2

(subclass MaritimeShelfArea SubmergedLandArea)	Geography.kif 2515-2515	Maritime shelf area is a subclass of submerged land area
(subclass ContinentalShelf SubmergedLandArea)	Geography.kif 7681-7681	Continental shelf is a subclass of submerged land area
(subclass ContinentalMargin SubmergedLandArea)	Geography.kif 7688-7688	Continental margin is a subclass of submerged land area
(subclass SeabedArea SubmergedLandArea)	Geography.kif 7704-7704	Seabed area is a subclass of submerged land area
(termFormat EnglishLanguage SubmergedLandArea "submerged land area")	domainEnglishFormat.kif 55741-55741	Seabed area is a subclass of submerged land area
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積")	domainEnglishFormat.kif 55742-55742	Seabed area is a subclass of submerged land area
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积")	domainEnglishFormat.kif 55743-55743	Seabed area is a subclass of submerged land area

antecedent

(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))

If X is an instance of submerged land area, then there exists Y such that Y is an instance of water area, X is below to Y, Y is on to X, and X meets Y

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))

If X is an instance of flooding, Y is an instance of land area, X is located at Y, Z is an instance of time point, and Z happens before the time of existence of X, then the statement Y is an instance of submerged land area holds during Z has the modal force of unlikely