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
O argumento numero 1 de
significantWaveHeight
e' uma
instancia
de
Area Aquatica
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1525-1525
O argumento numero 2 de
significantWaveHeight
e' uma
instancia
de
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1526-1526
O argumento numero 3 de
significantWaveHeight
e' uma
instancia
de
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1527-1527
significantWaveHeight
e' uma
instancia
de
Predicado Ternario
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1528-1528
significantWaveHeight
e' uma
sub
-relacao 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
Area Aquatica
e' uma
instancia
de
SurfZone
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
Area Aquatica
and
Numero Real
FootLength
(s)
Numero Real
e'
maior
que 8.0
RedFlagSwimmingCondition
e' um
atributo
de
Area Aquatica
consequent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1557-1566
Processo
e' uma
instancia
de
HeavySurf
Area Aquatica
Numero Real
Area Aquatica
e' uma
instancia
de
SurfZone
eventLocated
Processo
and
Area Aquatica
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
Processo
and
Numero Real
FootLength
(s)
Numero Real
e'
maior
ou igual a 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