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
Mean1MinuteWindSpeedFn
Sigma KEE - Mean1MinuteWindSpeedFn
Mean1MinuteWindSpeedFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2314-2317
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2308-2312
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2319-2319
域
Mean1MinuteWindSpeedFn
, 1 and
GeographicArea
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2320-2320
域
Mean1MinuteWindSpeedFn
, 2 and
TimeInterval
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2322-2322
例
Mean1MinuteWindSpeedFn
and
BinaryFunction
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2321-2321
範圍
Mean1MinuteWindSpeedFn
and
FunctionQuantity
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2318-2318
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2313-2313
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10382-10382
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10381-10381
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2324-2341
等於
FunctionQuantity
and
Mean1MinuteWindSpeedFn
GeographicArea
and
TimeInterval
持有期間
TimeInterval
and
entity
entity
,
entity
and
entity
例
entity
and
MeasuringSurfaceWindSpeedList
locationMeasuringList
entity
and
GeographicArea
measuringListInterval
entity
and
測量
5 and
第二期
measuringListDuration
entity
and
測量
1 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 2439-2453
例
Process
and
颶風
例
Entity
and
SSHWS5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 157.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2361-2380
例
Process
and
颶風
例
SpeedScaleAttribute
and
SSHWSAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
UnitOfMeasure
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
No TPTP formula. May not be expressible in strict first order.
Weather.kif 736-747
例
Entity
and
颶風
Process
GeographicArea
and
RealNumber
例
Process
and
熱帶氣旋
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
大於或等於
RealNumber
and 74.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 677-687
例
Process
and
熱帶氣旋
GeographicArea
RealNumber
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
大於或等於
RealNumber
and 44.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 656-666
例
Process
and
TropicalDepression
GeographicArea
RealNumber
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
小於或等於
RealNumber
and 38.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 712-723
例
Process
and
TropicalStorm
GeographicArea
RealNumber
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
大於或等於
RealNumber
and 39.0
小於或等於
RealNumber
and 74.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