Mean10MinutesWindSpeedFn |
appearance as argument number 1 |
(documentation Mean10MinutesWindSpeedFn ChineseLanguage "(Mean10MinutesWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity, 它是在?PLACE 地方,划一表示在地球表面10米(33 英尺)上高度位置, 某时 ?TIME,(持续时间)TimeDuration 长10 Minutes 分钟、共120个每 5 Second 秒时间 间隔量度的即时(地面风速)surfaceWindSpeed(串列)&List上的平均值。") | Weather.kif 2213-2216 | |
(documentation Mean10MinutesWindSpeedFn EnglishLanguage "(Mean10MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 120 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 10 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.") | Weather.kif 2207-2211 | |
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) | Weather.kif 2218-2218 | Le nombre 1 argument de Mean10MinutesWindSpeedFn est une instance de secteur g�ographique |
(domain Mean10MinutesWindSpeedFn 2 TimeInterval) | Weather.kif 2219-2219 | Le nombre 2 argument de Mean10MinutesWindSpeedFn est une instance de interval temporel |
(instance Mean10MinutesWindSpeedFn BinaryFunction) | Weather.kif 2221-2221 | Mean10MinutesWindSpeedFn est une instance de fonction binaire |
(range Mean10MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2220-2220 | Le domaine de Mean10MinutesWindSpeedFn est une instance de function de quantit� |
appearance as argument number 2 |
(format ChineseLanguage Mean10MinutesWindSpeedFn "%1地区在%2时段的 Mean10MinutesWindSpeedFn") | Weather.kif 2217-2217 | |
(format EnglishLanguage Mean10MinutesWindSpeedFn "Mean10MinutesWindSpeedFn for %2 in region %1") | Weather.kif 2212-2212 | |
(termFormat ChineseLanguage Mean10MinutesWindSpeedFn "10分钟平均地面风速") | domainEnglishFormat.kif 10373-10373 | |
(termFormat EnglishLanguage Mean10MinutesWindSpeedFn "ten minute mean surface wind speed") | domainEnglishFormat.kif 10372-10372 |
antecedent |
consequent |
(=> (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 |
|