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 1411-1413
(
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 1407-1410
(
domain
waveHeight
1
WaterWave
)
Weather.kif 1414-1414
O argumento numero 1 de
waveHeight
e' uma
instancia
de
WaterWave
(
domain
waveHeight
2
LengthMeasure
)
Weather.kif 1415-1415
O argumento numero 2 de
waveHeight
e' uma
instancia
de
Medida de Comprimento
(
instance
waveHeight
BinaryPredicate
)
Weather.kif 1416-1416
waveHeight
e' uma
instancia
de
Predicado Binario
(
subclass
waveHeight
ConstantQuantity
)
Weather.kif 1417-1417
waveHeight
e' uma
sub
-classe de
Quantidade Constante
appearance as argument number 2
(
format
EnglishLanguage
waveHeight
"The
waveHeight
of %1 %2.")
Weather.kif 1418-1418
(
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 1532-1547
WaterWave
e' uma
instancia
de
WaterWave
waveHeight
WaterWave
and
Medida de Comprimento
Lista
Area Aquatica
,
Unidade de Medida
and
Numero Real
Medida de Comprimento
e' um
membro
de
Lista
Area Aquatica
e' uma
instancia
de
Area Aquatica
eventLocated
WaterWave
and
Area Aquatica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
WaterWave
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a 4.0 +
StandardDeviationFn
Lista
(=>
(
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 1420-1440
waveHeight
WaterWave
and
Medida de Comprimento
Objeto
Objeto
,
Objeto
and
Unidade de Medida
Objeto
e' uma
instancia
de
BodyOfWater
eventLocated
WaterWave
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
a
distancia
entre
Objeto
e
Objeto
e'
Medida de Comprimento
Objeto
Objeto
H
Objeto
e' uma &parte de
Objeto
a
altitude
de
Objeto
e'
Objeto
Objeto
H e'
maior
que 0.0
Objeto
Objeto
H
Objeto
e' uma &parte de
Objeto
a
altitude
de
Objeto
e'
Objeto
Objeto
H e'
maior
que 0.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