Mean3SecondWindSpeedFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage Mean3SecondWindSpeedFn "%1地区在%2时段的 Mean3SecondWindSpeedFn") | Weather.kif 1898-1898 | |
(format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1") | Weather.kif 1893-1893 | |
(termFormat ChineseLanguage Mean3SecondWindSpeedFn "3秒平均地面风速") | domainEnglishFormat.kif 10397-10397 | |
(termFormat EnglishLanguage Mean3SecondWindSpeedFn "three second mean surface wind speed") | domainEnglishFormat.kif 10396-10396 |
antecedent |
(=> (equal ?SPEED (Mean3SecondWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 0.25 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 3 SecondDuration)) (equal 12 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 1904-1921 |
|
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 2005-2017 |
|