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 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
Il numero 1 argomenti di
waveHeight
è un
istanza
di
WaterWave
(
domain
waveHeight
2
LengthMeasure
)
Weather.kif 1399-1399
Il numero 2 argomenti di
waveHeight
è un
istanza
di
MisuraDiLunghezza
(
instance
waveHeight
BinaryPredicate
)
Weather.kif 1400-1400
waveHeight
è un'
istanza
di
PredicatoBinario
(
subclass
waveHeight
ConstantQuantity
)
Weather.kif 1401-1401
waveHeight
è una
sottoclasse
di
Quantit�Costante
appearance as argument number 2
(
format
EnglishLanguage
waveHeight
"The
waveHeight
of %1 %2.")
Weather.kif 1402-1402
(
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 1515-1530
WaterWave
è un'
istanza
di
WaterWave
waveHeight
WaterWave
and
MisuraDiLunghezza
Lista
SuperficieAcquatica
,
Unit�DiMisura
and
NumeroReale
MisuraDiLunghezza
è un
Lista
SuperficieAcquatica
è un'
istanza
di
SuperficieAcquatica
eventLocated
WaterWave
and
SuperficieAcquatica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
significantWaveHeight
SuperficieAcquatica
, il
tempo
di esistenza di
WaterWave
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
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 1404-1424
waveHeight
WaterWave
and
MisuraDiLunghezza
Oggetto
Oggetto
,
Oggetto
and
Unit�DiMisura
Oggetto
è un'
istanza
di
BodyOfWater
eventLocated
WaterWave
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
la
distanza
tra
Oggetto
e
Oggetto
è
MisuraDiLunghezza
Oggetto
Oggetto
H
Oggetto
è una
parte
di
Oggetto
l'
altezza
di
Oggetto
è
Oggetto
Oggetto
H è
pi
ù grande di 0.0
Oggetto
Oggetto
H
Oggetto
è una
parte
di
Oggetto
l'
altezza
di
Oggetto
è
Oggetto
Oggetto
H è
pi
ù grande di 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