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
significantWaveHeight
の数値 1 引数は
水域
の
instance
では %n
(
domain
significantWaveHeight
2
TimePosition
)
Weather.kif 1525-1525
significantWaveHeight
の数値 2 引数は
時間位置
の
instance
では %n
(
domain
significantWaveHeight
3
LengthMeasure
)
Weather.kif 1526-1526
significantWaveHeight
の数値 3 引数は
長さ測定
の
instance
では %n
(
instance
significantWaveHeight
TernaryPredicate
)
Weather.kif 1527-1527
significantWaveHeight
は
3進述語
の
instance
では %n
(
subrelation
significantWaveHeight
measure
)
Weather.kif 1528-1528
significantWaveHeight
は
measure
の
subrelation
では %n
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
水域
は
SurfZone
の
instance
では %n
significantWaveHeight
水域
,
水域
の
time
の existence and
実数
の
FootLength
(s)
実数
は 8.0 より
greater
では %n
RedFlagSwimmingCondition
は
水域
の
attribute
では %n
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
WaterWave
は
WaterWave
の
instance
では %n
waveHeight
WaterWave
and
長さ測定
リスト
水域
,
測定単位
and
実数
長さ測定
は
リスト
の
member
では %n
水域
は
水域
の
instance
では %n
eventLocated
WaterWave
and
水域
測定単位
は
UnitOfLength
の
instance
では %n
significantWaveHeight
水域
,
WaterWave
の
time
の existence and
実数
の
測定単位
(s)
実数
は 4.0 +
StandardDeviationFn
リスト
と
equal
では %n
(=>
(
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
工程
は
HeavySurf
の
instance
では %n
水域
実数
水域
は
SurfZone
の
instance
では %n
eventLocated
工程
and
水域
significantWaveHeight
水域
,
工程
の
time
の existence and
実数
の
FootLength
(s)
実数
は 13.0
greater
では %n
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