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 19139-19141
(externalImage Flooding "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Navy_FloodedNewOrleans.jpg") pictureList.kif 2678-2678
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 19138-19138 Flooding est une sous-classe de LiquidMotion

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


(subclass CoastalFlooding Flooding) Weather.kif 1596-1596 CoastalFlooding est une sous-classe de Flooding
(subclass FlashFlooding Flooding) Weather.kif 1610-1610 FlashFlooding est une sous-classe de Flooding
(termFormat ChineseLanguage Flooding "洪水") domainEnglishFormat.kif 24258-24258 FlashFlooding est une sous-classe de Flooding
(termFormat ChineseTraditionalLanguage Flooding "洪水") domainEnglishFormat.kif 24257-24257 FlashFlooding est une sous-classe de Flooding
(termFormat EnglishLanguage Flooding "flooding") domainEnglishFormat.kif 24256-24256 FlashFlooding est une sous-classe de 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 19143-19158
(=>
    (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


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