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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlashFlooding
FlashFlooding(flash flooding)
flash_flood, flashflood

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


(documentation FlashFlooding ChineseLanguage "山洪暴发(FlashFlooding)是在导致洪涝(Flooding) 的水流出现6个小时内发生的洪水。") Weather.kif 1609-1610
(documentation FlashFlooding EnglishLanguage "FlashFlooding are floods that take fewer than 6 hours from when the flow of water which causes the Flooding has appeared till the onset of the flood itself.") Weather.kif 1606-1608
(externalImage FlashFlooding "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Flood102405.JPG") pictureList.kif 10019-10019
(subclass FlashFlooding Flooding) Weather.kif 1611-1611 Flash flooding is a subclass of flooding

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


(termFormat ChineseLanguage FlashFlooding "山洪暴发") domainEnglishFormat.kif 24198-24198
(termFormat ChineseTraditionalLanguage FlashFlooding "山洪暴發") domainEnglishFormat.kif 24197-24197
(termFormat EnglishLanguage FlashFlooding "flash flooding") domainEnglishFormat.kif 24196-24196

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


(=>
    (instance ?FLOOD FlashFlooding)
    (exists (?WATER ?HOUR)
        (and
            (instance ?WATER WaterMotion)
            (causes ?WATER ?FLOOD)
            (meetsTemporally
                (WhenFn ?WATER)
                (WhenFn ?FLOOD))
            (duration
                (WhenFn ?WATER)
                (MeasureFn ?HOUR HourDuration))
            (lessThan ?HOUR 6.0))))
Weather.kif 1613-1625


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