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
(
documentation
significantWaveHeight
ChineseLanguage
"有效波高 (
significantWaveHeight
)是一个三元谓词(
TernaryPredicate
)。 (significantWaveHeight ?WA ?TIME ?SWH) ?SWH 是形容在一段时间?TIME (
TimeInterval
) 一个水域内?WA (
WaterArea
),所有波浪中,从波峰到波谷平均波高最高的三分之一波浪波高的的长度单位 (
LengthMeasure
)。 它定义为所有波高标准偏差的四倍。")
Weather.kif 1519-1522
(
documentation
significantWaveHeight
EnglishLanguage
"
significantWaveHeight
is a
TernaryPredicate
. (significantWaveHeight ?WA ?TIME ?SWH) ?SWH is a
LengthMeasure
used to describe the average wave height, from trough to crest, of the highest third the waves for a ?WA (
WaterArea
) for a ?TIME (
TimeInterval
). It is defined as four times the standard deviation of the height of all waves.")
Weather.kif 1515-1518
(
domain
significantWaveHeight
1
WaterArea
)
Weather.kif 1524-1524
Die Zahl 1 Argument von
significantWaveHeight
ist ein
fall
von
WaterArea
%n{nicht}
(
domain
significantWaveHeight
2
TimePosition
)
Weather.kif 1525-1525
Die Zahl 2 Argument von
significantWaveHeight
ist ein
fall
von
TimePosition
%n{nicht}
(
domain
significantWaveHeight
3
LengthMeasure
)
Weather.kif 1526-1526
Die Zahl 3 Argument von
significantWaveHeight
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
significantWaveHeight
TernaryPredicate
)
Weather.kif 1527-1527
significantWaveHeight
ist ein
fall
von
TernaryPredicate
%n{nicht}
(
subrelation
significantWaveHeight
measure
)
Weather.kif 1528-1528
significantWaveHeight
ist eine
teilrelation
von
measure
appearance as argument number 2
(
format
EnglishLanguage
significantWaveHeight
"
significantWaveHeight
in %1 during %2 is %3.")
Weather.kif 1529-1530
(
termFormat
ChineseLanguage
significantWaveHeight
"有效波高")
domainEnglishFormat.kif 27863-27863
(
termFormat
EnglishLanguage
significantWaveHeight
"significant wave height")
domainEnglishFormat.kif 27862-27862
antecedent
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
Wenn
WaterArea
ist ein
fall
von
SurfZone
%n{nicht} und
significantWaveHeight
** WaterArea
, die
zeit
des Bestehens von
** WaterArea
and
RealNumber
FootLength
(s) und
** RealNumber
ist
groesserAls
8.0 %n{nicht},
dann
RedFlagSwimmingCondition
ist ein
attribut
von
** WaterArea
%n{nicht}
consequent
(=>
(
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 1532-1547
Wenn
WaterWave
ist ein
fall
von
WaterWave
%n{nicht} und
waveHeight
** WaterWave
and
LengthMeasure
,
dann es gibt
List
,
WaterArea
,, ,
UnitOfMeasure
, and und
RealNumber
um
** LengthMeasure
ist ein
Mitglied
von
** List
und
** WaterArea
ist ein
fall
von
WaterArea
%n{nicht} und
eventLocated
** WaterWave
and
** WaterArea
und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
significantWaveHeight
** WaterArea
, die
zeit
des Bestehens von
** WaterWave
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich 4.0 und
StandardDeviationFn
** List
%n{nicht}
(=>
(
instance
?HS
HeavySurf
)
(
exists
(?SZ ?SWH)
(
and
(
instance
?SZ
SurfZone
)
(
eventLocated
?HS ?SZ)
(
significantWaveHeight
?SZ
(
WhenFn
?HS)
(
MeasureFn
?SWH
FootLength
))
(
greaterThanOrEqualTo
?SWH 13.0))))
Weather.kif 1557-1566
Wenn
Process
ist ein
fall
von
HeavySurf
%n{nicht},
dann es gibt
WaterArea
und
RealNumber
um
** WaterArea
ist ein
fall
von
SurfZone
%n{nicht} und
eventLocated
** Process
and
** WaterArea
und
significantWaveHeight
** WaterArea
, die
zeit
des Bestehens von
** Process
and
** RealNumber
FootLength
(s) und
** RealNumber
ist
groesserAlsOderGleich
13.0 %n{nicht}
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