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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlashFlooding

Sigma KEE - FlashFlooding
FlashFlooding

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 FlashFlooding e' uma sub-classe de Flooding

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 1613-1625


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