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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1519-1522
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1515-1518
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1524-1524
Le nombre 1 argument de
significantWaveHeight
est une
instance
de
plan d'eau
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1525-1525
Le nombre 2 argument de
significantWaveHeight
est une
instance
de
position temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1526-1526
Le nombre 3 argument de
significantWaveHeight
est une
instance
de
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1527-1527
significantWaveHeight
est une
instance
de
pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1528-1528
significantWaveHeight
est une
sous
-relation de
measure
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1529-1530
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 27863-27863
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 27862-27862
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1398-1405
Plan d'eau
est une
instance
de
SurfZone
significantWaveHeight
plan d'eau
,
temps
d'existence de
plan d'eau
and
nombre r�el
FootLength
(s)
nombre r�el
est
plus
grand
que 8.0
RedFlagSwimmingCondition
est un
attribut
de
plan d'eau
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1532-1547
WaterWave
est une
instance
de
WaterWave
waveHeight
WaterWave
and
mesure de longueur
liste
plan d'eau
,
unit� de mesure
and
nombre r�el
mesure de longueur
est un
membre
de
liste
plan d'eau
est une
instance
de
plan d'eau
eventLocated
WaterWave
and
plan d'eau
unit� de mesure
est une
instance
de
UnitOfLength
significantWaveHeight
plan d'eau
,
temps
d'existence de
WaterWave
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
StandardDeviationFn
liste
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1557-1566
Processus
est une
instance
de
HeavySurf
plan d'eau
nombre r�el
plan d'eau
est une
instance
de
SurfZone
eventLocated
processus
and
plan d'eau
significantWaveHeight
plan d'eau
,
temps
d'existence de
processus
and
nombre r�el
FootLength
(s)
nombre r�el
est
plus
grand
ou �gal � 13.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