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
The number 1 argument of
speed scale attribute min max
is an
instance
of
speed scale attribute
(
domain
speedScaleAttributeMinMax
2
FunctionQuantity
)
Weather.kif 2126-2126
The number 2 argument of
speed scale attribute min max
is an
instance
of
function quantity
(
domain
speedScaleAttributeMinMax
3
FunctionQuantity
)
Weather.kif 2127-2127
The number 3 argument of
speed scale attribute min max
is an
instance
of
function quantity
(
instance
speedScaleAttributeMinMax
TernaryPredicate
)
Weather.kif 2128-2128
speed scale attribute min max
is an
instance
of
ternary predicate
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
If
a process
is an
instance
of
hurricane
and
a speed scale attribute
is an
instance
of
Saffir Simpson Hurrican wind scale
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
the unit of measure
(s) is
equal
to
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
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
If
a process
is an
instance
of
tornado
and
a speed scale attribute
is an
instance
of
enhanced fuijita scale attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
miles per hour
(s) and
another real number
miles per hour
(s) are the min and max speed of
the speed scale attribute
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
miles per hour
(s) is
equal
to
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
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
If
a process
is an
instance
of
wind
and
a speed scale attribute
is an
instance
of
Beaufort number attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
the unit of measure
(s) is a
surface
wind speed of
the object
(=>
(
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
If
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
a speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exist
a physical
and
a third real number
such that
the physical
is an
instance
of
motion
and
the physical
the
attribute
the speed scale attribute
and the
measure
of
the physical
is
the third real number
the unit of measure
(s) and
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
appearance as argument number 0
(
speedScaleAttributeMinMax
BeaufortNumber0
(
MeasureFn
0.0
MilesPerHour
)
(
MeasureFn
1.0
MilesPerHour
))
Weather.kif 375-375
0.0
Miles per hour
(s) and 1.0
miles per hour
(s) are the min and max speed of
Beaufort number 0
(
speedScaleAttributeMinMax
BeaufortNumber1
(
MeasureFn
1.0
MilesPerHour
)
(
MeasureFn
3.0
MilesPerHour
))
Weather.kif 384-384
1.0
Miles per hour
(s) and 3.0
miles per hour
(s) are the min and max speed of
Beaufort number 1
(
speedScaleAttributeMinMax
BeaufortNumber10
(
MeasureFn
55.0
MilesPerHour
)
(
MeasureFn
63.0
MilesPerHour
))
Weather.kif 466-466
55.0
Miles per hour
(s) and 63.0
miles per hour
(s) are the min and max speed of
Beaufort number 10
(
speedScaleAttributeMinMax
BeaufortNumber11
(
MeasureFn
64.0
MilesPerHour
)
(
MeasureFn
72.0
MilesPerHour
))
Weather.kif 475-475
64.0
Miles per hour
(s) and 72.0
miles per hour
(s) are the min and max speed of
Beaufort number 11
(
speedScaleAttributeMinMax
BeaufortNumber2
(
MeasureFn
4.0
MilesPerHour
)
(
MeasureFn
7.0
MilesPerHour
))
Weather.kif 393-393
4.0
Miles per hour
(s) and 7.0
miles per hour
(s) are the min and max speed of
Beaufort number 2
(
speedScaleAttributeMinMax
BeaufortNumber3
(
MeasureFn
8.0
MilesPerHour
)
(
MeasureFn
12.0
MilesPerHour
))
Weather.kif 403-403
8.0
Miles per hour
(s) and 12.0
miles per hour
(s) are the min and max speed of
Beaufort number 3
(
speedScaleAttributeMinMax
BeaufortNumber4
(
MeasureFn
13.0
MilesPerHour
)
(
MeasureFn
18.0
MilesPerHour
))
Weather.kif 412-412
13.0
Miles per hour
(s) and 18.0
miles per hour
(s) are the min and max speed of
Beaufort number 4
(
speedScaleAttributeMinMax
BeaufortNumber5
(
MeasureFn
19.0
MilesPerHour
)
(
MeasureFn
24.0
MilesPerHour
))
Weather.kif 421-421
19.0
Miles per hour
(s) and 24.0
miles per hour
(s) are the min and max speed of
Beaufort number 5
(
speedScaleAttributeMinMax
BeaufortNumber6
(
MeasureFn
25.0
MilesPerHour
)
(
MeasureFn
31.0
MilesPerHour
))
Weather.kif 430-430
25.0
Miles per hour
(s) and 31.0
miles per hour
(s) are the min and max speed of
Beaufort number 6
(
speedScaleAttributeMinMax
BeaufortNumber7
(
MeasureFn
32.0
MilesPerHour
)
(
MeasureFn
38.0
MilesPerHour
))
Weather.kif 439-439
32.0
Miles per hour
(s) and 38.0
miles per hour
(s) are the min and max speed of
Beaufort number 7
(
speedScaleAttributeMinMax
BeaufortNumber8
(
MeasureFn
39.0
MilesPerHour
)
(
MeasureFn
46.0
MilesPerHour
))
Weather.kif 448-448
39.0
Miles per hour
(s) and 46.0
miles per hour
(s) are the min and max speed of
Beaufort number 8
(
speedScaleAttributeMinMax
BeaufortNumber9
(
MeasureFn
47.0
MilesPerHour
)
(
MeasureFn
54.0
MilesPerHour
))
Weather.kif 457-457
47.0
Miles per hour
(s) and 54.0
miles per hour
(s) are the min and max speed of
Beaufort number 9
(
speedScaleAttributeMinMax
EF0
(
MeasureFn
65.0
MilesPerHour
)
(
MeasureFn
85.0
MilesPerHour
))
Weather.kif 2151-2151
65.0
Miles per hour
(s) and 85.0
miles per hour
(s) are the min and max speed of
EF0
(
speedScaleAttributeMinMax
EF1
(
MeasureFn
86.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2159-2159
86.0
Miles per hour
(s) and 110.0
miles per hour
(s) are the min and max speed of
EF1
(
speedScaleAttributeMinMax
EF2
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
135.0
MilesPerHour
))
Weather.kif 2167-2167
111.0
Miles per hour
(s) and 135.0
miles per hour
(s) are the min and max speed of
EF2
(
speedScaleAttributeMinMax
EF3
(
MeasureFn
136.0
MilesPerHour
)
(
MeasureFn
165.0
MilesPerHour
))
Weather.kif 2175-2175
136.0
Miles per hour
(s) and 165.0
miles per hour
(s) are the min and max speed of
EF3
(
speedScaleAttributeMinMax
EF4
(
MeasureFn
166.0
MilesPerHour
)
(
MeasureFn
200.0
MilesPerHour
))
Weather.kif 2183-2183
166.0
Miles per hour
(s) and 200.0
miles per hour
(s) are the min and max speed of
EF4
(
speedScaleAttributeMinMax
SSHWS1
(
MeasureFn
74.0
MilesPerHour
)
(
MeasureFn
95.0
MilesPerHour
))
Weather.kif 2396-2396
74.0
Miles per hour
(s) and 95.0
miles per hour
(s) are the min and max speed of
SSHWS1
(
speedScaleAttributeMinMax
SSHWS2
(
MeasureFn
96.0
MilesPerHour
)
(
MeasureFn
110.0
MilesPerHour
))
Weather.kif 2408-2408
96.0
Miles per hour
(s) and 110.0
miles per hour
(s) are the min and max speed of
SSHWS2
(
speedScaleAttributeMinMax
SSHWS3
(
MeasureFn
111.0
MilesPerHour
)
(
MeasureFn
129.0
MilesPerHour
))
Weather.kif 2420-2420
111.0
Miles per hour
(s) and 129.0
miles per hour
(s) are the min and max speed of
SSHWS3
(
speedScaleAttributeMinMax
SSHWS4
(
MeasureFn
130.0
MilesPerHour
)
(
MeasureFn
156.0
MilesPerHour
))
Weather.kif 2432-2432
130.0
Miles per hour
(s) and 156.0
miles per hour
(s) are the min and max speed of
SSHWS4
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