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
speedScaleAttributeMinMax
Sigma KEE - speedScaleAttributeMinMax
speedScaleAttributeMinMax
appearance as argument number 1
(
documentation
speedScaleAttributeMinMax
ChineseLanguage
"
speedScaleAttributeMinMax
(时速级数属性最低最高) 是一个
TernaryRelation
,它为一个时速级数属性设定一个范畴。在(speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) 里, ?ATTR
SpeedScaleAttribute
(时速级数属性)的一个例子,?MIN 是最低速度 the minimum speed 而 ?MAX 是最高速度。")
Weather.kif 2121-2123
(
documentation
speedScaleAttributeMinMax
EnglishLanguage
"
speedScaleAttributeMinMax
is a
TernaryRelation
which specifies the range of speeds for a speed scale attribute. (speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) where ?ATTR is an instance of
SpeedScaleAttribute
and ?MIN is the minimum speed and ?MAX is the maximum speed. ")
Weather.kif 2116-2119
(
domain
speedScaleAttributeMinMax
1
SpeedScaleAttribute
)
Weather.kif 2125-2125
时速级数属性最低最高
的 1 数量 是
时速级数属性
的
instance
(
domain
speedScaleAttributeMinMax
2
FunctionQuantity
)
Weather.kif 2126-2126
时速级数属性最低最高
的 2 数量 是
函数量
的
instance
(
domain
speedScaleAttributeMinMax
3
FunctionQuantity
)
Weather.kif 2127-2127
时速级数属性最低最高
的 3 数量 是
函数量
的
instance
(
instance
speedScaleAttributeMinMax
TernaryPredicate
)
Weather.kif 2128-2128
时速级数属性最低最高
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
speedScaleAttributeMinMax
"%1 的最低和最高是 %2 和 %3")
Weather.kif 2124-2124
(
format
EnglishLanguage
speedScaleAttributeMinMax
"%2 and %3 are the min and max speed of %1")
Weather.kif 2120-2120
(
termFormat
ChineseLanguage
speedScaleAttributeMinMax
"时速级数属性最低最高")
domainEnglishFormat.kif 10352-10352
(
termFormat
EnglishLanguage
speedScaleAttributeMinMax
"speed scale attribute min max")
domainEnglishFormat.kif 10351-10351
antecedent
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
如果
过程
是
飓风
的
instance
和
时速级数属性
是
萨菲尔辛普森飓风风力等级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
equal
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
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秒阵风风速)
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
如果
过程
是
风
的
instance
和
时速级数属性
是
浦福氏风级属性
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
是
那个 客体
的
surface
风速
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
如果
时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
物理
和
第三 实数
这样
那个 物理
是
运动
的
instance
和
那个 物理
有
那个 时速级数属性
的
attribute
和
那个 物理
的
measure
是
那个 第三 实数
那个 测量单位
和
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
appearance as argument number 0
(
speedScaleAttributeMinMax
BeaufortNumber0
(
MeasureFn
0.0
MilesPerHour
)
(
MeasureFn
1.0
MilesPerHour
))
Weather.kif 375-375
浦氏0风级
的最低和最高是 0.0
英里每小時
和 1.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber1
(
MeasureFn
1.0
MilesPerHour
)
(
MeasureFn
3.0
MilesPerHour
))
Weather.kif 384-384
浦氏1风级
的最低和最高是 1.0
英里每小時
和 3.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber10
(
MeasureFn
55.0
MilesPerHour
)
(
MeasureFn
63.0
MilesPerHour
))
Weather.kif 466-466
浦氏10风级
的最低和最高是 55.0
英里每小時
和 63.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber11
(
MeasureFn
64.0
MilesPerHour
)
(
MeasureFn
72.0
MilesPerHour
))
Weather.kif 475-475
浦氏11风级
的最低和最高是 64.0
英里每小時
和 72.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber2
(
MeasureFn
4.0
MilesPerHour
)
(
MeasureFn
7.0
MilesPerHour
))
Weather.kif 393-393
浦氏2风级
的最低和最高是 4.0
英里每小時
和 7.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber3
(
MeasureFn
8.0
MilesPerHour
)
(
MeasureFn
12.0
MilesPerHour
))
Weather.kif 403-403
浦氏3风级
的最低和最高是 8.0
英里每小時
和 12.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber4
(
MeasureFn
13.0
MilesPerHour
)
(
MeasureFn
18.0
MilesPerHour
))
Weather.kif 412-412
浦氏4风级
的最低和最高是 13.0
英里每小時
和 18.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber5
(
MeasureFn
19.0
MilesPerHour
)
(
MeasureFn
24.0
MilesPerHour
))
Weather.kif 421-421
浦氏5风级
的最低和最高是 19.0
英里每小時
和 24.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber6
(
MeasureFn
25.0
MilesPerHour
)
(
MeasureFn
31.0
MilesPerHour
))
Weather.kif 430-430
浦氏6风级
的最低和最高是 25.0
英里每小時
和 31.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber7
(
MeasureFn
32.0
MilesPerHour
)
(
MeasureFn
38.0
MilesPerHour
))
Weather.kif 439-439
浦氏7风级
的最低和最高是 32.0
英里每小時
和 38.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber8
(
MeasureFn
39.0
MilesPerHour
)
(
MeasureFn
46.0
MilesPerHour
))
Weather.kif 448-448
浦氏8风级
的最低和最高是 39.0
英里每小時
和 46.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber9
(
MeasureFn
47.0
MilesPerHour
)
(
MeasureFn
54.0
MilesPerHour
))
Weather.kif 457-457
浦氏9风级
的最低和最高是 47.0
英里每小時
和 54.0
英里每小時
(
speedScaleAttributeMinMax
EF0
(
MeasureFn
65.0
MilesPerHour
)
(
MeasureFn
85.0
MilesPerHour
))
Weather.kif 2151-2151
改良藤田0
的最低和最高是 65.0
英里每小時
和 85.0
英里每小時
(
speedScaleAttributeMinMax
EF1
(
MeasureFn
86.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2159-2159
改良藤田1
的最低和最高是 86.0
英里每小時
和 110.0
英里每小時
(
speedScaleAttributeMinMax
EF2
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
135.0
MilesPerHour
))
Weather.kif 2167-2167
改良藤田2
的最低和最高是 111.0
英里每小時
和 135.0
英里每小時
(
speedScaleAttributeMinMax
EF3
(
MeasureFn
136.0
MilesPerHour
)
(
MeasureFn
165.0
MilesPerHour
))
Weather.kif 2175-2175
改良藤田3
的最低和最高是 136.0
英里每小時
和 165.0
英里每小時
(
speedScaleAttributeMinMax
EF4
(
MeasureFn
166.0
MilesPerHour
)
(
MeasureFn
200.0
MilesPerHour
))
Weather.kif 2183-2183
改良藤田4
的最低和最高是 166.0
英里每小時
和 200.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS1
(
MeasureFn
74.0
MilesPerHour
)
(
MeasureFn
95.0
MilesPerHour
))
Weather.kif 2396-2396
萨菲尔辛普森飓风1
的最低和最高是 74.0
英里每小時
和 95.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS2
(
MeasureFn
96.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2408-2408
萨菲尔辛普森飓风2
的最低和最高是 96.0
英里每小時
和 110.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS3
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
129.0
MilesPerHour
))
Weather.kif 2420-2420
萨菲尔辛普森飓风3
的最低和最高是 111.0
英里每小時
和 129.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS4
(
MeasureFn
130.0
MilesPerHour
)
(
MeasureFn
156.0
MilesPerHour
))
Weather.kif 2432-2432
萨菲尔辛普森飓风4
的最低和最高是 130.0
英里每小時
和 156.0
英里每小時
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