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
ThreeSecondGustSpeedFn
の数値 1 引数は
地理的地域
の
instance
では %n
(
domain
ThreeSecondGustSpeedFn
2
TimeInterval
)
Weather.kif 2034-2034
ThreeSecondGustSpeedFn
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
ThreeSecondGustSpeedFn
BinaryFunction
)
Weather.kif 2036-2036
ThreeSecondGustSpeedFn
は
2変数関数
の
instance
では %n
(
range
ThreeSecondGustSpeedFn
FunctionQuantity
)
Weather.kif 2035-2035
ThreeSecondGustSpeedFn
の
range
は
関数量
のインスタンス では %n
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
関数量
は
ThreeSecondGustSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
関数量
LIST
NumberList
and
測定単位
関数量
LIST は
Mean3SecondWindSpeedListFn
地理的地域
and
時間間隔
と
equal
では %n
NumberList
は
PhysicalQuantityToNumberFn
関数量
LIST と
equal
では %n
関数量
は
MaxValueFn
NumberList
の
測定単位
(s) と
equal
では %n
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
工程
は
Tornado
の
instance
では %n
エンティティー
は
EF5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 200.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Tornado
の
instance
では %n
SpeedScaleAttribute
は
EFScaleAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
MilesPerHour
(s) and
実数
の
MilesPerHour
(s)
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
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