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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flooding
Flooding(洪水)

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 17018-17020
(externalImage Flooding "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Navy-FloodedNewOrleans.jpg") pictureList.kif 2680-2680
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 17017-17017 洪水液体运动subclass

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


(subclass CoastalFlooding Flooding) Weather.kif 1613-1613 沿海洪水洪水subclass
(subclass FlashFlooding Flooding) Weather.kif 1627-1627 山洪暴发洪水subclass
(termFormat ChineseLanguage Flooding "洪水") domainEnglishFormat.kif 24237-24237
(termFormat ChineseTraditionalLanguage Flooding "洪水") domainEnglishFormat.kif 24236-24236
(termFormat EnglishLanguage Flooding "flooding") domainEnglishFormat.kif 24235-24235

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 17022-17037
(=>
    (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


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