Mean3SecondWindSpeedFn |
appearance as argument number 1 |
(documentation Mean3SecondWindSpeedFn ChineseLanguage "(Mean3SecondWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity, 它是在?PLACE 地方,划一表示在地球表面10米(33 英尺)上高度位置, 某时 ?TIME,(持续时间)TimeDuration 长3 Second 秒、共12个每 0.25 Second 秒时间 间隔量度的即时(地面风速)surfaceWindSpeed(串列)&List上的平均值。") | Weather.kif 1877-1880 | |
(documentation Mean3SecondWindSpeedFn EnglishLanguage "(Mean3SecondWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 12 instantaneous of surfaceWindSpeed measurements, each taken at 0.25 Second intervals, over a 3 Second TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.") | Weather.kif 1871-1875 | |
(domain Mean3SecondWindSpeedFn 1 GeographicArea) | Weather.kif 1882-1882 | Die Zahl 1 Argument von Mean3SecondWindSpeedFn ist ein fall von GeographicArea %n{nicht} |
(domain Mean3SecondWindSpeedFn 2 TimeInterval) | Weather.kif 1883-1883 | Die Zahl 2 Argument von Mean3SecondWindSpeedFn ist ein fall von TimeInterval %n{nicht} |
(instance Mean3SecondWindSpeedFn BinaryFunction) | Weather.kif 1885-1885 | Mean3SecondWindSpeedFn ist ein fall von BinaryFunction %n{nicht} |
(range Mean3SecondWindSpeedFn FunctionQuantity) | Weather.kif 1884-1884 | bildbereich von Mean3SecondWindSpeedFn ist ein fall von FunctionQuantity {nicht} |
appearance as argument number 2 |
(format ChineseLanguage Mean3SecondWindSpeedFn "%1地区在%2时段的 Mean3SecondWindSpeedFn") | Weather.kif 1881-1881 | |
(format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1") | Weather.kif 1876-1876 | |
(termFormat ChineseLanguage Mean3SecondWindSpeedFn "3秒平均地面风速") | domainEnglishFormat.kif 10397-10397 | |
(termFormat EnglishLanguage Mean3SecondWindSpeedFn "three second mean surface wind speed") | domainEnglishFormat.kif 10396-10396 |
antecedent |
consequent |
(=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (exists (?TIMELIST ?INT) (and (equal ?TIMELIST (TimeIntervalListFn ?TIME (MeasureFn 3 SecondDuration))) (inList ?INT ?TIMELIST) (equal ?SPEED (Mean3SecondWindSpeedFn ?PLACE ?INT))))) |
Weather.kif 1988-2000 |
|