| TropicalCyclone
|
| appearance as argument number 1 |
|
| (documentation TropicalCyclone ChineseLanguage "TropicalCyclone 热带气旋是 热带氣旋系统的一个统称，它的一分钟平均风速一般达每小时44英里（MilesPerHour）或更高的风速。") | Weather.kif 660-661 | |
| (documentation TropicalCyclone EnglishLanguage "TropicalCyclone is a generic term for TropicalCyclonicSystems with 1-minute sustained winds of 44 MilesPerHour (mph)or higher.") | Weather.kif 657-659 | |
| (externalImage TropicalCyclone "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") | pictureList.kif 3020-3020 | |
| (externalImage TropicalCyclone "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Hurricane_structure_graphic.jpg") | pictureList.kif 3252-3252 | |
| (subclass TropicalCyclone TropicalCyclonicSystem) | Weather.kif 656-656 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TropicalCyclone "热带气旋") | domainEnglishFormat.kif 59248-59248 | |
| (termFormat ChineseTraditionalLanguage TropicalCyclone "熱帶氣旋") | domainEnglishFormat.kif 59247-59247 | |
| (termFormat EnglishLanguage TropicalCyclone "tropical cyclone") | domainEnglishFormat.kif 59246-59246 |
| antecedent |
|
|
| (=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0))))) |
Weather.kif 677-690 | |
| (=> (instance ?TC TropicalCyclone) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 44.0)))) |
Weather.kif 665-675 |
| consequent |
|
|
| (=> (instance ?H Hurricane) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 724-735 | |
| (=> (instance ?T Typhoon) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean10MinutesWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 64.0)))) |
Weather.kif 758-769 |
|
|
|