|
|
   Typhoon
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Typhoon ChineseLanguage "颱風（Typhoon）是10分钟平均地面风速(Mean10MinutesWindSpeedFn) 达到或高于每小时64 英里(MilesPerHour)在西北太平洋(NorthwesternPacificOcean)的热带气旋(TropicalCyclone)。") | Weather.kif 768-769 | |
| (documentation Typhoon EnglishLanguage "Typhoons are TropicalCyclones with Mean10MinutesWindSpeedFn (10-minute sustained winds) equal to or over 64 MilesPerHour formed in NorthwesternPacificOcean.") | Weather.kif 765-767 | |
| (externalImage Typhoon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG/ 250px-Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") | pictureList.kif 1277-1277 | |
| (subclass Typhoon TropicalCyclonicSystem) | Weather.kif 770-770 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Typhoon "台风") | domainEnglishFormat.kif 59756-59756 | |
| (termFormat ChineseLanguage Typhoon "颱風") | Weather.kif 772-772 | |
| (termFormat ChineseTraditionalLanguage Typhoon "颱風") | domainEnglishFormat.kif 59755-59755 | |
| (termFormat EnglishLanguage Typhoon "typhoon") | domainEnglishFormat.kif 59754-59754 |
| antecedent |
|
|
| (=> (and (instance ?T Typhoon) (eventLocated ?T ?P) (instance ?P GeographicArea)) (or (located ?P NorthwesternPacificOcean) (meetsSpatially ?P NorthwesternPacificOcean))) |
Weather.kif 787-794 | |
| (=> (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 774-785 |
|
|
|
