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
(
domain
speedScaleAttributeMinMax
2
FunctionQuantity
)
Weather.kif 2126-2126
(
domain
speedScaleAttributeMinMax
3
FunctionQuantity
)
Weather.kif 2127-2127
(
instance
speedScaleAttributeMinMax
TernaryPredicate
)
Weather.kif 2128-2128
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
(=>
(
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
(=>
(
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
(=>
(
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
appearance as argument number 0
(
speedScaleAttributeMinMax
BeaufortNumber0
(
MeasureFn
0.0
MilesPerHour
)
(
MeasureFn
1.0
MilesPerHour
))
Weather.kif 375-375
(
speedScaleAttributeMinMax
BeaufortNumber1
(
MeasureFn
1.0
MilesPerHour
)
(
MeasureFn
3.0
MilesPerHour
))
Weather.kif 384-384
(
speedScaleAttributeMinMax
BeaufortNumber10
(
MeasureFn
55.0
MilesPerHour
)
(
MeasureFn
63.0
MilesPerHour
))
Weather.kif 466-466
(
speedScaleAttributeMinMax
BeaufortNumber11
(
MeasureFn
64.0
MilesPerHour
)
(
MeasureFn
72.0
MilesPerHour
))
Weather.kif 475-475
(
speedScaleAttributeMinMax
BeaufortNumber2
(
MeasureFn
4.0
MilesPerHour
)
(
MeasureFn
7.0
MilesPerHour
))
Weather.kif 393-393
(
speedScaleAttributeMinMax
BeaufortNumber3
(
MeasureFn
8.0
MilesPerHour
)
(
MeasureFn
12.0
MilesPerHour
))
Weather.kif 403-403
(
speedScaleAttributeMinMax
BeaufortNumber4
(
MeasureFn
13.0
MilesPerHour
)
(
MeasureFn
18.0
MilesPerHour
))
Weather.kif 412-412
(
speedScaleAttributeMinMax
BeaufortNumber5
(
MeasureFn
19.0
MilesPerHour
)
(
MeasureFn
24.0
MilesPerHour
))
Weather.kif 421-421
(
speedScaleAttributeMinMax
BeaufortNumber6
(
MeasureFn
25.0
MilesPerHour
)
(
MeasureFn
31.0
MilesPerHour
))
Weather.kif 430-430
(
speedScaleAttributeMinMax
BeaufortNumber7
(
MeasureFn
32.0
MilesPerHour
)
(
MeasureFn
38.0
MilesPerHour
))
Weather.kif 439-439
(
speedScaleAttributeMinMax
BeaufortNumber8
(
MeasureFn
39.0
MilesPerHour
)
(
MeasureFn
46.0
MilesPerHour
))
Weather.kif 448-448
(
speedScaleAttributeMinMax
BeaufortNumber9
(
MeasureFn
47.0
MilesPerHour
)
(
MeasureFn
54.0
MilesPerHour
))
Weather.kif 457-457
(
speedScaleAttributeMinMax
EF0
(
MeasureFn
65.0
MilesPerHour
)
(
MeasureFn
85.0
MilesPerHour
))
Weather.kif 2151-2151
(
speedScaleAttributeMinMax
EF1
(
MeasureFn
86.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2159-2159
(
speedScaleAttributeMinMax
EF2
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
135.0
MilesPerHour
))
Weather.kif 2167-2167
(
speedScaleAttributeMinMax
EF3
(
MeasureFn
136.0
MilesPerHour
)
(
MeasureFn
165.0
MilesPerHour
))
Weather.kif 2175-2175
(
speedScaleAttributeMinMax
EF4
(
MeasureFn
166.0
MilesPerHour
)
(
MeasureFn
200.0
MilesPerHour
))
Weather.kif 2183-2183
(
speedScaleAttributeMinMax
SSHWS1
(
MeasureFn
74.0
MilesPerHour
)
(
MeasureFn
95.0
MilesPerHour
))
Weather.kif 2396-2396
(
speedScaleAttributeMinMax
SSHWS2
(
MeasureFn
96.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2408-2408
(
speedScaleAttributeMinMax
SSHWS3
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
129.0
MilesPerHour
))
Weather.kif 2420-2420
(
speedScaleAttributeMinMax
SSHWS4
(
MeasureFn
130.0
MilesPerHour
)
(
MeasureFn
156.0
MilesPerHour
))
Weather.kif 2432-2432
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