![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TropicalDepression(tropical depression) |
| appearance as argument number 1 |
|
|
| (subclass TropicalDepression TropicalCyclonicSystem) | Weather.kif 1073-1073 | Tropical depression is a subclass of tropical cyclonic system |
| (documentation TropicalDepression EnglishLanguage "A TropicalDepression is the weakest form of TropicalCyclonicSystem. It has 1-minute sustained winds of upto 38 MilesPerHour according to the National Hurrican Center(NHC),Joint Typhoon Warning Center (JTWC) and the Central Pacific Hurricane Center (CPHC).") | Weather.kif 1074-1077 | Tropical depression is a subclass of tropical cyclonic system |
| (documentation TropicalDepression ChineseLanguage "热带低气压(TropicalDepression) 是等级形态最弱的热带氣旋系统(TropicalCyclonicSystem), 根据美國的國家颶風中心(NHC)、 夏威夷州的中太平洋颶風中心(CPHC)和聯合颱風警報中心的标准,它的一分钟平均风速可达 每小时38英里(MilesPerHour )。") | Weather.kif 1078-1081 | Tropical depression is a subclass of tropical cyclonic system |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TropicalDepression "tropical depression") | Weather.kif 1082-1082 | |
| (termFormat ChineseLanguage TropicalDepression "热带低气压") | Weather.kif 1083-1083 |
| antecedent |
|
|
| (=> (instance ?TD TropicalDepression) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TD ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TD))) (lessThanOrEqualTo ?WIND 38.0)))) |
Weather.kif 1085-1095 | If X is an instance of tropical depression, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is less than or equal to 38.0 |