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 2104-2106
(
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 2099-2102
(
domain
speedScaleAttributeMinMax
1
SpeedScaleAttribute
)
Weather.kif 2108-2108
时速级数属性最低最高
的 1 数量 是
时速级数属性
的
instance
(
domain
speedScaleAttributeMinMax
2
FunctionQuantity
)
Weather.kif 2109-2109
时速级数属性最低最高
的 2 数量 是
函数量
的
instance
(
domain
speedScaleAttributeMinMax
3
FunctionQuantity
)
Weather.kif 2110-2110
时速级数属性最低最高
的 3 数量 是
函数量
的
instance
(
instance
speedScaleAttributeMinMax
TernaryPredicate
)
Weather.kif 2111-2111
时速级数属性最低最高
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
speedScaleAttributeMinMax
"%1 的最低和最高是 %2 和 %3")
Weather.kif 2107-2107
(
format
EnglishLanguage
speedScaleAttributeMinMax
"%2 and %3 are the min and max speed of %1")
Weather.kif 2103-2103
(
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 2348-2367
如果
过程
是
飓风
的
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 2079-2097
如果
过程
是
龙卷风
的
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 337-354
如果
过程
是
风
的
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 2113-2126
如果
时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
物理
和
第三 实数
这样
那个 物理
是
运动
的
instance
和
那个 物理
有
那个 时速级数属性
的
attribute
和
那个 物理
的
measure
是
那个 第三 实数
那个 测量单位
和
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
appearance as argument number 0
(
speedScaleAttributeMinMax
BeaufortNumber0
(
MeasureFn
0.0
MilesPerHour
)
(
MeasureFn
1.0
MilesPerHour
))
Weather.kif 363-363
浦氏0风级
的最低和最高是 0.0
英里每小時
和 1.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber1
(
MeasureFn
1.0
MilesPerHour
)
(
MeasureFn
3.0
MilesPerHour
))
Weather.kif 372-372
浦氏1风级
的最低和最高是 1.0
英里每小時
和 3.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber10
(
MeasureFn
55.0
MilesPerHour
)
(
MeasureFn
63.0
MilesPerHour
))
Weather.kif 454-454
浦氏10风级
的最低和最高是 55.0
英里每小時
和 63.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber11
(
MeasureFn
64.0
MilesPerHour
)
(
MeasureFn
72.0
MilesPerHour
))
Weather.kif 463-463
浦氏11风级
的最低和最高是 64.0
英里每小時
和 72.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber2
(
MeasureFn
4.0
MilesPerHour
)
(
MeasureFn
7.0
MilesPerHour
))
Weather.kif 381-381
浦氏2风级
的最低和最高是 4.0
英里每小時
和 7.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber3
(
MeasureFn
8.0
MilesPerHour
)
(
MeasureFn
12.0
MilesPerHour
))
Weather.kif 391-391
浦氏3风级
的最低和最高是 8.0
英里每小時
和 12.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber4
(
MeasureFn
13.0
MilesPerHour
)
(
MeasureFn
18.0
MilesPerHour
))
Weather.kif 400-400
浦氏4风级
的最低和最高是 13.0
英里每小時
和 18.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber5
(
MeasureFn
19.0
MilesPerHour
)
(
MeasureFn
24.0
MilesPerHour
))
Weather.kif 409-409
浦氏5风级
的最低和最高是 19.0
英里每小時
和 24.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber6
(
MeasureFn
25.0
MilesPerHour
)
(
MeasureFn
31.0
MilesPerHour
))
Weather.kif 418-418
浦氏6风级
的最低和最高是 25.0
英里每小時
和 31.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber7
(
MeasureFn
32.0
MilesPerHour
)
(
MeasureFn
38.0
MilesPerHour
))
Weather.kif 427-427
浦氏7风级
的最低和最高是 32.0
英里每小時
和 38.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber8
(
MeasureFn
39.0
MilesPerHour
)
(
MeasureFn
46.0
MilesPerHour
))
Weather.kif 436-436
浦氏8风级
的最低和最高是 39.0
英里每小時
和 46.0
英里每小時
(
speedScaleAttributeMinMax
BeaufortNumber9
(
MeasureFn
47.0
MilesPerHour
)
(
MeasureFn
54.0
MilesPerHour
))
Weather.kif 445-445
浦氏9风级
的最低和最高是 47.0
英里每小時
和 54.0
英里每小時
(
speedScaleAttributeMinMax
EF0
(
MeasureFn
65.0
MilesPerHour
)
(
MeasureFn
85.0
MilesPerHour
))
Weather.kif 2134-2134
改良藤田0
的最低和最高是 65.0
英里每小時
和 85.0
英里每小時
(
speedScaleAttributeMinMax
EF1
(
MeasureFn
86.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2142-2142
改良藤田1
的最低和最高是 86.0
英里每小時
和 110.0
英里每小時
(
speedScaleAttributeMinMax
EF2
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
135.0
MilesPerHour
))
Weather.kif 2150-2150
改良藤田2
的最低和最高是 111.0
英里每小時
和 135.0
英里每小時
(
speedScaleAttributeMinMax
EF3
(
MeasureFn
136.0
MilesPerHour
)
(
MeasureFn
165.0
MilesPerHour
))
Weather.kif 2158-2158
改良藤田3
的最低和最高是 136.0
英里每小時
和 165.0
英里每小時
(
speedScaleAttributeMinMax
EF4
(
MeasureFn
166.0
MilesPerHour
)
(
MeasureFn
200.0
MilesPerHour
))
Weather.kif 2166-2166
改良藤田4
的最低和最高是 166.0
英里每小時
和 200.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS1
(
MeasureFn
74.0
MilesPerHour
)
(
MeasureFn
95.0
MilesPerHour
))
Weather.kif 2379-2379
萨菲尔辛普森飓风1
的最低和最高是 74.0
英里每小時
和 95.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS2
(
MeasureFn
96.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2391-2391
萨菲尔辛普森飓风2
的最低和最高是 96.0
英里每小時
和 110.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS3
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
129.0
MilesPerHour
))
Weather.kif 2403-2403
萨菲尔辛普森飓风3
的最低和最高是 111.0
英里每小時
和 129.0
英里每小時
(
speedScaleAttributeMinMax
SSHWS4
(
MeasureFn
130.0
MilesPerHour
)
(
MeasureFn
156.0
MilesPerHour
))
Weather.kif 2415-2415
萨菲尔辛普森飓风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