Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Flooding
Flooding(flooding)
Noachian_deluge, Noah's_flood, Noah_and_the_Flood, alluvion, deluge, flood, inundation, the_Flood

appearance as argument number 1
-------------------------


(documentation Flooding EnglishLanguage "Flooding is the subclass of LiquidMotion processes in which the water level of a Waterway rises or water spreads over a flood plain along a Waterway.") Mid-level-ontology.kif 19132-19134
(externalImage Flooding "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Navy_FloodedNewOrleans.jpg") pictureList.kif 2678-2678
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 19131-19131 Flooding is a subclass of liquid motion

appearance as argument number 2
-------------------------


(subclass CoastalFlooding Flooding) Weather.kif 2130-2130 Coastal flooding is a subclass of flooding
(subclass FlashFlooding Flooding) Weather.kif 2144-2144 Flash flooding is a subclass of flooding
(termFormat ChineseLanguage Flooding "洪水") domainEnglishFormat.kif 24247-24247 Flash flooding is a subclass of flooding
(termFormat ChineseTraditionalLanguage Flooding "洪水") domainEnglishFormat.kif 24246-24246 Flash flooding is a subclass of flooding
(termFormat EnglishLanguage Flooding "flooding") domainEnglishFormat.kif 24245-24245 Flash flooding is a subclass of flooding

antecedent
-------------------------


(=>
    (and
        (instance ?F Flooding)
        (eventLocated ?F ?P))
    (exists (?L1 ?L2 ?U)
        (and
            (instance ?U UnitOfLength)
            (holdsDuring
                (BeginFn
                    (WhenFn ?F))
                (waterDepth ?P
                    (MeasureFn ?L1 ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?F))
                (waterDepth ?P
                    (MeasureFn ?L2 ?U)))
            (greaterThan ?L2 ?L1))))
Mid-level-ontology.kif 19136-19151
(=>
    (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 2114-2124


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners