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
waveHeight
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 1407-1409
(
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 1403-1406
(
domain
waveHeight
1
WaterWave
)
Weather.kif 1410-1410
waveHeight
の数値 1 引数は
WaterWave
の
instance
では %n
(
domain
waveHeight
2
LengthMeasure
)
Weather.kif 1411-1411
waveHeight
の数値 2 引数は
長さ測定
の
instance
では %n
(
instance
waveHeight
BinaryPredicate
)
Weather.kif 1412-1412
waveHeight
は
2進述語
の
instance
では %n
(
subclass
waveHeight
ConstantQuantity
)
Weather.kif 1413-1413
waveHeight
は
一定量
の
subclass
では %n
appearance as argument number 2
(
format
EnglishLanguage
waveHeight
"The
waveHeight
of %1 %2.")
Weather.kif 1414-1414
(
termFormat
ChineseLanguage
waveHeight
"波高")
domainEnglishFormat.kif 27860-27860
(
termFormat
EnglishLanguage
waveHeight
"wave height")
domainEnglishFormat.kif 27859-27859
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 1528-1543
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
(=>
(
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 1416-1436
waveHeight
WaterWave
and
長さ測定
オブジェクト
オブジェクト
,
オブジェクト
and
測定単位
オブジェクト
は
BodyOfWater
の
instance
では %n
eventLocated
WaterWave
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
と
オブジェクト
の
distance
は
長さ測定
では %n
オブジェクト
オブジェクト
H
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
altitude
は
オブジェクト
では %n
オブジェクト
H は 0.0 より
greater
では %n
オブジェクト
オブジェクト
H
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
altitude
は
オブジェクト
では %n
オブジェクト
H は 0.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