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 1515-1518
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1511-1514
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1520-1520
域
significantWaveHeight
, 1 and
WaterArea
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1521-1521
域
significantWaveHeight
, 2 and
TimePosition
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1522-1522
域
significantWaveHeight
, 3 and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1523-1523
例
significantWaveHeight
and
TernaryPredicate
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1524-1524
子關係
significantWaveHeight
and
測量
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1525-1526
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 1394-1401
例
WaterArea
and
SurfZone
significantWaveHeight
WaterArea
,
何時
WaterArea
and
測量
RealNumber
and
腳長
比較多
RealNumber
and 8.0
attribute
WaterArea
and
RedFlagSwimmingCondition
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1528-1543
例
水波
and
水波
waveHeight
水波
and
LengthMeasure
List
WaterArea
,
UnitOfMeasure
and
RealNumber
在列表中
LengthMeasure
and
List
例
WaterArea
and
WaterArea
水波
是
located
在
WaterArea
例
UnitOfMeasure
and
UnitOfLength
significantWaveHeight
WaterArea
,
何時
水波
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
4.0 and
StandardDeviationFn
List
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1553-1562
例
Process
and
高激浪
WaterArea
RealNumber
例
WaterArea
and
SurfZone
Process
是
located
在
WaterArea
significantWaveHeight
WaterArea
,
何時
Process
and
測量
RealNumber
and
腳長
大於或等於
RealNumber
and 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