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
Sigma KEE - waveHeight
waveHeight
appearance as argument number 1
(
documentation
waveHeight
ChineseLanguage
"
waveHeight
是一个二元谓语
BinaryPredicate
. (waveHeight ?WW ?X) 的意思是 ?X 高度 (
LengthMeasure
)是水体（
BodyOfWater
）兴起 ?WW (
WaterWave
波浪)的 波峰和前面波谷高度（
altitude
）的差别。")
Weather.kif 1395-1397
(
documentation
waveHeight
EnglishLanguage
"
waveHeight
is a
BinaryPredicate
. (waveHeight ?WW ?X) means that ?X is the
LengthMeasure
of the difference between the
altitude
of the crest and its leading trough of the
BodyOfWater
of where a ?WW (
WaterWave
) takes place.")
Weather.kif 1391-1394
(
domain
waveHeight
1
WaterWave
)
Weather.kif 1398-1398
The number 1 argument of
wave height
is an
instance
of
water wave
(
domain
waveHeight
2
LengthMeasure
)
Weather.kif 1399-1399
The number 2 argument of
wave height
is an
instance
of
length measure
(
instance
waveHeight
BinaryPredicate
)
Weather.kif 1400-1400
wave height
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
waveHeight
"The
waveHeight
of %1 %2.")
Weather.kif 1401-1401
(
termFormat
ChineseLanguage
waveHeight
"波高")
domainEnglishFormat.kif 27888-27888
(
termFormat
EnglishLanguage
waveHeight
"wave height")
domainEnglishFormat.kif 27887-27887
antecedent
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1514-1529
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
(=>
(
waveHeight
?WW ?X)
(
exists
(?WATER ?CREST ?TROUGH ?U)
(
and
(
instance
?WATER
BodyOfWater
)
(
eventLocated
?WW ?WATER)
(
part
?CREST ?WATER)
(
part
?TROUGH ?WATER)
(
distance
?CREST ?TROUGH ?X)
(
not
(
exists
(?A ?AH)
(
and
(
part
?A ?WATER)
(
altitude
?A ?CREST
(
MeasureFn
?AH ?U))
(
greaterThan
?AH 0.0))))
(
not
(
exists
(?B ?BH)
(
and
(
part
?B ?WATER)
(
altitude
?TROUGH ?B
(
MeasureFn
?BH ?U))
(
greaterThan
?BH 0.0)))))))
Weather.kif 1403-1423
If The
waveHeight
of
a water wave
a length measure
.,
then there exist
an object
,
another object
,, ,
a third object
and
an unit of measure
such that
the object
is an
instance
of
body of water
and
the water wave
is
located
at
the object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and the
distance
between
the other object
and
the third object
is
the length measure
and there don't exist
a fourth object
and
the fourth object
H such that
the fourth object
is a
part
of
the object
and the
altitude
of
the fourth object
is
the other object
and
the fourth object
H is
greater
than 0.0 and there don't exist
a fifth object
and
the fifth object
H such that
the fifth object
is a
part
of
the object
and the
altitude
of
the third object
is
the fifth object
and
the fifth object
H is
greater
than 0.0
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
