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
ThreeSecondGustSpeedFn
Sigma KEE - ThreeSecondGustSpeedFn
ThreeSecondGustSpeedFn
appearance as argument number 1
(
documentation
ThreeSecondGustSpeedFn
ChineseLanguage
"(
ThreeSecondGustSpeedFn
?PLACE ?TIME) 得出于 ?TIME 2 分钟
TimeInterval
(时间间隔), 在?PLACE 所录得的最高累积3秒平均风速。")
Weather.kif 2029-2030
(
documentation
ThreeSecondGustSpeedFn
EnglishLanguage
"(
ThreeSecondGustSpeedFn
?PLACE ?TIME) returns the highest running 3-second average wind speed recorded at ?PLACE in the 2 minutes
TimeInterval
?TIME.")
Weather.kif 2025-2027
(
domain
ThreeSecondGustSpeedFn
1
GeographicArea
)
Weather.kif 2033-2033
3秒阵风风速
的 1 数量 是
地理区域
的
instance
(
domain
ThreeSecondGustSpeedFn
2
TimeInterval
)
Weather.kif 2034-2034
3秒阵风风速
的 2 数量 是
时距
的
instance
(
instance
ThreeSecondGustSpeedFn
BinaryFunction
)
Weather.kif 2036-2036
3秒阵风风速
是
二元函数
的
instance
(
range
ThreeSecondGustSpeedFn
FunctionQuantity
)
Weather.kif 2035-2035
3秒阵风风速
的
range
是
函数量
的实例
appearance as argument number 2
(
format
ChineseLanguage
ThreeSecondGustSpeedFn
"在 %2 时间结束以前, 发生在区域 %1 的
ThreeSecondGustSpeedFn
(3秒阵风风速)")
Weather.kif 2031-2032
(
format
EnglishLanguage
ThreeSecondGustSpeedFn
"ThreeSecondSpeedGustFn ending at %2 in %1")
Weather.kif 2028-2028
(
termFormat
ChineseLanguage
ThreeSecondGustSpeedFn
"3秒阵风风速")
domainEnglishFormat.kif 10385-10385
(
termFormat
EnglishLanguage
ThreeSecondGustSpeedFn
"three second gust speed")
domainEnglishFormat.kif 10384-10384
antecedent
(=>
(
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 2038-2048
如果
函数量
equal
在
时距
时间结束以前, 发生在区域
地理区域
的
ThreeSecondGustSpeedFn
(3秒阵风风速),
然后 有存在
那个 函数量
LIST,
数字串列
, and 和
测量单位
这样
那个 函数量
LIST
equal
在
那个 时距
时间结束以前, 发生在区域
那个 地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列) 和
那个 数字串列
equal
PhysicalQuantityToNumberFn
得出一个串列的数字值是
那个 函数量
LIST 和
那个 函数量
equal
那个 数字串列
串列中的最大值
那个 测量单位
consequent
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
如果
过程
是
龙卷风
的
instance
和
实体
是
改良藤田5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
200.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
equal
在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
如果
过程
是
龙卷风
的
instance
和
时速级数属性
是
改良藤田级数
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
英里每小時
和
另一个 实数
英里每小時
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
英里每小時
equal
在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
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