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 2209-2212 | |
(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 2203-2207 | |
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) | Weather.kif 2214-2214 | Il numero 1 argomenti di Mean10MinutesWindSpeedFn è un istanza di AreaGeografica |
(domain Mean10MinutesWindSpeedFn 2 TimeInterval) | Weather.kif 2215-2215 | Il numero 2 argomenti di Mean10MinutesWindSpeedFn è un istanza di IntervalloTemporale |
(instance Mean10MinutesWindSpeedFn BinaryFunction) | Weather.kif 2217-2217 | Mean10MinutesWindSpeedFn è un' istanza di FunzioneBinaria |
(range Mean10MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2216-2216 | rango di Mean10MinutesWindSpeedFn è un'istanza di FunzioneDiQuantit� |
appearance as argument number 2 |
![]() |
(format ChineseLanguage Mean10MinutesWindSpeedFn "%1地区在%2时段的 Mean10MinutesWindSpeedFn") | Weather.kif 2213-2213 | |
(format EnglishLanguage Mean10MinutesWindSpeedFn "Mean10MinutesWindSpeedFn for %2 in region %1") | Weather.kif 2208-2208 | |
(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 770-781 |
|
![]() |
![]() |