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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlashFlooding

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

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


(documentation FlashFlooding ChineseLanguage "山洪暴发(FlashFlooding)是在导致洪涝(Flooding) 的水流出现6个小时内发生的洪水。") Weather.kif 1625-1626
(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 1622-1624
(externalImage FlashFlooding "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Flood102405.JPG") pictureList.kif 10028-10028
(subclass FlashFlooding Flooding) Weather.kif 1627-1627 Flash flooding is a subclass of flooding

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


(termFormat ChineseLanguage FlashFlooding "山洪暴发") domainEnglishFormat.kif 24171-24171
(termFormat ChineseTraditionalLanguage FlashFlooding "山洪暴發") domainEnglishFormat.kif 24170-24170
(termFormat EnglishLanguage FlashFlooding "flash flooding") domainEnglishFormat.kif 24169-24169

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 1629-1641


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

Show without tree


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