Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Typhoon(typhoon)
|  | typhoon |
| appearance as argument number 1 |
|
|
| (documentation Typhoon EnglishLanguage "Typhoons are TropicalCyclones with Mean10MinutesWindSpeedFn (10-minute sustained winds) equal to or over 64 MilesPerHour formed in NorthwesternPacificOcean.") | Weather.kif 1190-1192 | |
| (documentation Typhoon ChineseLanguage "颱風（Typhoon）是10分钟平均地面风速(Mean10MinutesWindSpeedFn) 达到或高于每小时64 英里(MilesPerHour)在西北太平洋(NorthwesternPacificOcean)的热带气旋(TropicalCyclone)。") | Weather.kif 1193-1194 | |
| (subclass Typhoon TropicalCyclonicSystem) | Weather.kif 1195-1195 | Typhoon is a subclass of tropical cyclonic system |
| (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 | Typhoon is a subclass of tropical cyclonic system |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 1199-1210 | If X is an instance of typhoon, then there exist Y, Z and W such that Y is an instance of tropical cyclone and Z is an instance of geographic area and Y is located at Z and equal W miles per hour(s) and Mean10MinutesWindSpeedFn for the time of existence of Y in region Z and W is greater than or equal to 64.0 |
| (=> (and (instance ?T Typhoon) (eventLocated ?T ?P) (instance ?P GeographicArea)) (or (located ?P NortheasternPacificOcean) (meetsSpatially ?P NortheasternPacificOcean))) |
Weather.kif 1212-1219 | If X is an instance of typhoon, X is located at Y, and Y is an instance of geographic area, then Y is located at Northeastern Pacific ocean or Y meets Northeastern Pacific ocean |
|