Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Mean3SecondWindSpeedFn
Sigma KEE - Mean3SecondWindSpeedFn
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 1894-1897
(
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 1888-1892
(
domain
Mean3SecondWindSpeedFn
1
GeographicArea
)
Weather.kif 1899-1899
3秒平均地面风速
的 1 数量 是
地理区域
的
instance
(
domain
Mean3SecondWindSpeedFn
2
TimeInterval
)
Weather.kif 1900-1900
3秒平均地面风速
的 2 数量 是
时距
的
instance
(
instance
Mean3SecondWindSpeedFn
BinaryFunction
)
Weather.kif 1902-1902
3秒平均地面风速
是
二元函数
的
instance
(
range
Mean3SecondWindSpeedFn
FunctionQuantity
)
Weather.kif 1901-1901
3秒平均地面风速
的
range
是
函数量
的实例
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
如果
函数量
equal
地理区域
地区在
时距
时段的
Mean3SecondWindSpeedFn
,
然后 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 另外 实体
是
地面风速量度串列
的
instance
和
那个 另外 实体
在
那个 地理区域
(发生)
eventLocated
和 (量度)
Measuring
串列
那个 另外 实体
在 0.25
第二期
的时间间隔发生 和 (量度)
Measuring
串列 list
那个 另外 实体
持续了3
第二期
那么久的时间 和 12
equal
那个 另外 实体
的长度 和
那个 第三 实体
是
那个 另外 实体
的(结果)
result
和
那个 第四 实体
equal
PhysicalQuantityToNumberFn
得出一个串列的数字值是
那个 第三 实体
和
那个 函数量
equal
AverageFn
那个 第四 实体
那个 第五 实体
在
那个 时距
holdsDuring
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
如果
串列
equal
在
时距
时间结束以前, 发生在区域
地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列) 和
函数量
是
那个 串列
的
member
,
然后 有存在
那个 时距
LIST 和
另一个 时距
这样
那个 时距
LIST
equal
那个 时距
的 3
第二期
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数) 和
那个 另外 时距
是
那个 时距
LIST 的
member
和
那个 函数量
equal
那个 地理区域
地区在
那个 另外 时距
时段的
Mean3SecondWindSpeedFn
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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