|
|
   TropicalStorm
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TropicalStorm ChineseLanguage "热带风暴(TropicalStorm)是一分钟平均风速 在每小时39和74英里(MilesPerHour)之间的热带氣旋系统(TropicalCyclonicSystem)。") | Weather.kif 695-696 | |
| (documentation TropicalStorm EnglishLanguage "TropicalStorm is a TropicalCyclonicSystem with 1-minute sustained winds ranging between 39 and 72 MilesPerHour.") | Weather.kif 693-694 | |
| (subclass TropicalStorm TropicalCyclonicSystem) | Weather.kif 692-692 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TropicalStorm "热带风暴") | Weather.kif 698-698 | |
| (termFormat EnglishLanguage TropicalStorm "tropical storm") | Weather.kif 697-697 |
| antecedent |
|
|
| (=> (instance ?TS TropicalStorm) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TS ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TS))) (greaterThanOrEqualTo ?WIND 39.0) (lessThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 700-711 |
|
|
|