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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlashFlooding
FlashFlooding(山洪暴发)

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


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

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


(termFormat ChineseLanguage FlashFlooding "山洪暴发") domainEnglishFormat.kif 24176-24176
(termFormat ChineseTraditionalLanguage FlashFlooding "山洪暴發") domainEnglishFormat.kif 24175-24175
(termFormat EnglishLanguage FlashFlooding "flash flooding") domainEnglishFormat.kif 24174-24174

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 1630-1642


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