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
significantWaveHeight
Sigma KEE - significantWaveHeight
significantWaveHeight
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1515-1518
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1511-1514
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1520-1520
The number 1 argument of
significant wave height
is an
instance
of
water area
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1521-1521
The number 2 argument of
significant wave height
is an
instance
of
time position
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1522-1522
The number 3 argument of
significant wave height
is an
instance
of
length measure
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1523-1523
significant wave height
is an
instance
of
ternary predicate
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1524-1524
significant wave height
is a
subrelation
of
measure
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1525-1526
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 27863-27863
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 27862-27862
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1394-1401
If
a water area
is an
instance
of
surf zone
and
significantWaveHeight
in
the water area
during the
time
of existence of
the water area
is
a real number
foot length
(s). and
the real number
is
greater
than 8.0,
then
red flag swimming condition
is an
attribute
of
the water area
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1528-1543
If
a water wave
is an
instance
of
water wave
and The
waveHeight
of
the water wave
a length measure
.,
then there exist
a list
,
a water area
,, ,
an unit of measure
and
a real number
such that
the length measure
is a
member
of
the list
and
the water area
is an
instance
of
water area
and
the water wave
is
located
at
the water area
and
the unit of measure
is an
instance
of
unit of length
and
significantWaveHeight
in
the water area
during the
time
of existence of
the water wave
is
the real number
the unit of measure
(s). and
the real number
is
equal
to 4.0 and The
StandardDeviationFn
of
the list
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1553-1562
If
a process
is an
instance
of
heavy zone
,
then there exist
a water area
and
a real number
such that
the water area
is an
instance
of
surf zone
and
the process
is
located
at
the water area
and
significantWaveHeight
in
the water area
during the
time
of existence of
the process
is
the real number
foot length
(s). and
the real number
is
greater
than or equal to 13.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
significantWaveHeight