Mean3SecondWindSpeedListFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage Mean3SecondWindSpeedListFn "在 %2 时间结束以前, 发生在区域 %1 的 Mean3SecondWindSpeedListFn (平均3秒风速表列)") | Weather.kif 1974-1975 | |
(format EnglishLanguage Mean3SecondWindSpeedListFn "Mean3SecondWindSpeedListFn ending at %2 in region %1") | Weather.kif 1969-1969 | |
(termFormat ChineseLanguage Mean3SecondWindSpeedListFn "平均3秒风速表列") | domainEnglishFormat.kif 10388-10388 | |
(termFormat EnglishLanguage Mean3SecondWindSpeedListFn "mean three second wind speed list") | domainEnglishFormat.kif 10387-10387 |
antecedent |
(=> (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 | |
(=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (instance ?SPEED FunctionQuantity)) |
Weather.kif 1981-1986 | |
(=> (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (duration ?TIME (MeasureFn 2 MinuteDuration))) |
Weather.kif 2002-2006 |
consequent |
(=> (equal ?SPEED (ThreeSecondGustSpeedFn ?PLACE ?TIME)) (exists (?SPEEDLIST ?NLIST ?UNIT) (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (equal ?NLIST (PhysicalQuantityToNumberFn ?SPEEDLIST)) (equal ?SPEED (MeasureFn (MaxValueFn ?NLIST) ?UNIT))))) |
Weather.kif 2021-2031 |