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
Mean3SecondWindSpeedFn
Sigma KEE - Mean3SecondWindSpeedFn
Mean3SecondWindSpeedFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1894-1897
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1888-1892
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1899-1899
域
Mean3SecondWindSpeedFn
, 1 and
GeographicArea
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1900-1900
域
Mean3SecondWindSpeedFn
, 2 and
TimeInterval
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1902-1902
例
Mean3SecondWindSpeedFn
and
BinaryFunction
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1901-1901
範圍
Mean3SecondWindSpeedFn
and
FunctionQuantity
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1898-1898
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1893-1893
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10397-10397
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10396-10396
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1904-1921
等於
FunctionQuantity
and
Mean3SecondWindSpeedFn
GeographicArea
and
TimeInterval
持有期間
TimeInterval
and
entity
entity
,
entity
and
entity
例
entity
and
MeasuringSurfaceWindSpeedList
locationMeasuringList
entity
and
GeographicArea
measuringListInterval
entity
and
測量
0.25 and
第二期
measuringListDuration
entity
and
測量
3 and
第二期
等於
12 and
列表長度
entity
measuringResult
entity
and
entity
等於
entity
and
PhysicalQuantityToNumberFn
entity
等於
FunctionQuantity
and
測量
AverageFn
entity
and
entity
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2005-2017
等於
List
and
Mean3SecondWindSpeedListFn
GeographicArea
and
TimeInterval
在列表中
FunctionQuantity
and
List
TimeInterval
LIST
TimeInterval
等於
TimeInterval
LIST and
TimeIntervalListFn
TimeInterval
and
測量
3 and
第二期
在列表中
TimeInterval
and
TimeInterval
LIST
等於
FunctionQuantity
and
Mean3SecondWindSpeedFn
GeographicArea
and
TimeInterval
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