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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2121-2123
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2116-2119
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2125-2125
The number 1 argument of
speed scale attribute min max
is an
instance
of
speed scale attribute
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2126-2126
The number 2 argument of
speed scale attribute min max
is an
instance
of
function quantity
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2127-2127
The number 3 argument of
speed scale attribute min max
is an
instance
of
function quantity
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2128-2128
speed scale attribute min max
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2124-2124
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2120-2120
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10352-10352
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10351-10351
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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