| 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 1890-1893 | |
| (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 1884-1888 | |
| (domain Mean3SecondWindSpeedFn 1 GeographicArea) | Weather.kif 1895-1895 | |
| (domain Mean3SecondWindSpeedFn 2 TimeInterval) | Weather.kif 1896-1896 | |
| (instance Mean3SecondWindSpeedFn BinaryFunction) | Weather.kif 1898-1898 | |
| (range Mean3SecondWindSpeedFn FunctionQuantity) | Weather.kif 1897-1897 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage Mean3SecondWindSpeedFn "%1地区在%2时段的 Mean3SecondWindSpeedFn") | Weather.kif 1894-1894 | |
| (format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1") | Weather.kif 1889-1889 | |
| (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 1900-1917 |
| 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 2001-2013 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners