TropicalStorm |
appearance as argument number 1 |
![]() |
(documentation TropicalStorm ChineseLanguage "热带风暴(TropicalStorm)是一分钟平均风速 在每小时39和74英里(MilesPerHour)之间的热带氣旋系统(TropicalCyclonicSystem)。") | Weather.kif 711-712 | |
(documentation TropicalStorm EnglishLanguage "TropicalStorm is a TropicalCyclonicSystem with 1-minute sustained winds ranging between 39 and 72 MilesPerHour.") | Weather.kif 709-710 | |
(subclass TropicalStorm TropicalCyclonicSystem) | Weather.kif 708-708 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage TropicalStorm "热带风暴") | Weather.kif 714-714 | |
(termFormat EnglishLanguage TropicalStorm "tropical storm") | Weather.kif 713-713 |
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 716-727 |
![]() |
![]() |