|
|
   FlashFlooding
|
|
|
| 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 |
|
|
|
|
