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
surfaceWindVelocity
Sigma KEE - surfaceWindVelocity
surfaceWindVelocity
appearance as argument number 1
(
documentation
surfaceWindVelocity
EnglishLanguage
"(
surfaceWindVelocity
?PLACE ?SPEED ?TOWARD) means that the surface
Wind
blowing at ?PLACE has a speed of ?SPEED and is moving toward the
DirectionalAttribute
?TOWARD. Surface wind is found at the surface of the planet, everyday wind. Technically,
Wind
s moving through the atmosphere up to an altitude of 500 feet.")
Weather.kif 108-113
(
domain
surfaceWindVelocity
1
Object
)
Weather.kif 104-104
地面风速率
的 1 数量 是
客体
的
instance
(
domain
surfaceWindVelocity
2
PhysicalQuantity
)
Weather.kif 105-105
地面风速率
的 2 数量 是
物理量
的
instance
(
domain
surfaceWindVelocity
3
DirectionalAttribute
)
Weather.kif 106-106
地面风速率
的 3 数量 是
方向属性
的
instance
(
instance
surfaceWindVelocity
TernaryPredicate
)
Weather.kif 103-103
地面风速率
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
surfaceWindVelocity
"%1 %n 是 对于 %3 的
surface
风速率 %2 ")
domainEnglishFormat.kif 2427-2427
(
format
ChineseTraditionalLanguage
surfaceWindVelocity
"%1 %n 是 對於 %3 的
surface
風速率 %2 ")
domainEnglishFormat.kif 2426-2426
(
format
EnglishLanguage
surfaceWindVelocity
"%1 is %n
surface
wind velocity %2 for %3")
domainEnglishFormat.kif 2425-2425
(
termFormat
ChineseLanguage
surfaceWindVelocity
"地面风速率")
domainEnglishFormat.kif 56329-56329
(
termFormat
ChineseTraditionalLanguage
surfaceWindVelocity
"地面風速率")
domainEnglishFormat.kif 56328-56328
(
termFormat
EnglishLanguage
surfaceWindVelocity
"surface wind velocity")
domainEnglishFormat.kif 56327-56327
antecedent
(=>
(
and
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION)
(
instance
?PLACE
WindFlow
))
(
exists
(?BLOW)
(
and
(
instance
?BLOW
Wind
)
(
eventPartlyLocated
?BLOW ?PLACE)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 115-123
如果
地区
是 对于
方向属性
的
surface
风速率
长度测量
除以
持续时间
和
那个 地区
是
大气气流
的
instance
,
然后 有存在
过程
这样
那个 过程
是
风
的
instance
和
那个 过程
是
partly
located
在
那个 地区
和
那个 过程
的
measure
是
那个 长度测量
除以
那个 持续时间
在
那个 地区
处往
那个 方向属性
方向
(=>
(
and
(
surfaceWindVelocity
?PLACE ?SPEED ?DIR-TOWARD)
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 188-192
如果
客体
是 对于
实体
-TOWARD 的
surface
风速率
物理量
和
那个 实体
-FROM 是
那个 实体
-TOWARD 的
opposite
方向,
然后
那个 实体
-FROM 是
那个 客体
的
surface
风向
(=>
(
surfaceWindVelocity
?PLACE ?SPEED ?DIRECTION)
(
surfaceWindSpeed
?PLACE ?SPEED))
Weather.kif 144-146
如果
客体
是 对于
方向属性
的
surface
风速率
物理量
,
然后
那个 物理量
是
那个 客体
的
surface
风速
consequent
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
如果
地区
是
客体
的
instance
和
物理
是
风
的
instance
和
那个 物理
的
measure
是
长度测量
除以
持续时间
在
那个 地区
处往
方向属性
方向,
然后
那个 地区
是 对于
那个 方向属性
的
surface
风速率
那个 长度测量
除以
那个 持续时间
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