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
VelocityFn
Sigma KEE - VelocityFn
VelocityFn
appearance as argument number 1
(
documentation
VelocityFn
ChineseLanguage
"这个函数指出一个物体的速度,也就是说速率和速率的方向。 例如: (
VelocityFn
(
MeasureFn
55
Mile
) (
MeasureFn
2
HourDuration
) ?REFERENCE
North
)表示从一个预定的坐标 ?REFERENCE 以每小时55英里的速度向北移动。")
chinese_format.kif 2486-2489
(
documentation
VelocityFn
EnglishLanguage
"Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (
VelocityFn
(
MeasureFn
55
Mile
) (
MeasureFn
2
HourDuration
) ?REFERENCE
North
) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE.")
Merge.kif 6675-6678
(
documentation
VelocityFn
JapaneseLanguage
"オブジェクトの速度、つまり速度と速度の方向を指定す る。 例:(
VelocityFn
(
MeasureFn
55
Mile
)(
MeasureFn
2
HourDuration
) ?REFERENCE
North
) は、所定の基準点 ?REFERENCEの北で時速55マイルの速度を示す。")
japanese_format.kif 1181-1183
(
domain
VelocityFn
1
LengthMeasure
)
Merge.kif 6669-6669
速度函数
的 1 数量 是
长度测量
的
instance
(
domain
VelocityFn
2
TimeDuration
)
Merge.kif 6670-6670
速度函数
的 2 数量 是
持续时间
的
instance
(
domain
VelocityFn
3
Region
)
Merge.kif 6671-6671
速度函数
的 3 数量 是
地区
的
instance
(
domain
VelocityFn
4
DirectionalAttribute
)
Merge.kif 6672-6672
速度函数
的 4 数量 是
方向属性
的
instance
(
instance
VelocityFn
QuaternaryFunction
)
Merge.kif 6667-6667
速度函数
是
四元函数
的
instance
(
instance
VelocityFn
TotalValuedRelation
)
Merge.kif 6668-6668
速度函数
是
总值关系
的
instance
(
range
VelocityFn
FunctionQuantity
)
Merge.kif 6673-6673
速度函数
的
range
是
函数量
的实例
appearance as argument number 2
(
format
ChineseLanguage
VelocityFn
"%1 除以 %2 在 %3 处往 %4 方向")
chinese_format.kif 661-661
(
format
EnglishLanguage
VelocityFn
"%1 per %2 in %3 in the direction %4")
english_format.kif 664-664
(
format
FrenchLanguage
VelocityFn
"%1 par %2 en %3 dans la direction %4")
french_format.kif 397-397
(
format
ItalianLanguage
VelocityFn
"%1 per %2 in %3 in direzione %4")
relations-it.txt 310-310
(
format
JapaneseLanguage
VelocityFn
"方向 %4 の %3 分の %2 per 1")
japanese_format.kif 2127-2127
(
format
PortugueseLanguage
VelocityFn
"%1 por %2 %3 na direcao %4")
portuguese_format.kif 349-349
(
format
de
VelocityFn
"%1 pro &2 in %3 in der Richtung %4")
relations-de.txt 864-864
(
format
hi
VelocityFn
"%4 kii dishaa men %3 men %1 prati %2")
relations-hindi.txt 345-345
(
format
ro
VelocityFn
"%1 per%t{pe} %2 în %3 în direcþia %4")
relations-ro.kif 419-419
(
format
sv
VelocityFn
"%1 per %2 i %3 i riktning %4")
relations-sv.txt 440-440
(
format
tg
VelocityFn
"%1 bawa't %2 ng %3 sa ang banda %4")
relations-tg.txt 502-502
(
termFormat
ChineseLanguage
VelocityFn
"速度")
domainEnglishFormat.kif 61456-61456
(
termFormat
ChineseLanguage
VelocityFn
"速度函数")
chinese_format.kif 662-662
(
termFormat
ChineseTraditionalLanguage
VelocityFn
"速度")
domainEnglishFormat.kif 61455-61455
(
termFormat
EnglishLanguage
VelocityFn
"velocity")
domainEnglishFormat.kif 61454-61454
antecedent
(=>
(
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
风速率
那个 长度测量
除以
那个 持续时间
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 182-187
如果
物理
是
大气气流
的
instance
和
那个 物理
的
measure
是
长度测量
除以
持续时间
在
地区
处往
实体
-TOWARD 方向 和
那个 实体
-FROM 是
那个 实体
-TOWARD 的
opposite
方向,
然后
那个 实体
-FROM 是
那个 地区
的
surface
风向
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
如果
物质
的
flow
的
measure
是
长度测量
除以
持续时间
在
地区
处往
方向属性
方向 和
另一个 物质
是
那个 物质
的
piece
,
然后
那个 另外 物质
的
measure
是
那个 长度测量
除以
那个 持续时间
在
那个 地区
处往
那个 方向属性
方向
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6680-6682
如果
物理
的
measure
是
长度测量
除以
持续时间
在
地区
处往
方向属性
方向,
然后
那个 物理
的
measure
是
那个 长度测量
除以
那个 持续时间
consequent
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
如果
物质
的
flow
的
measure
是
长度测量
除以
持续时间
在
地区
处往
方向属性
方向 和
另一个 物质
是
那个 物质
的
piece
,
然后
那个 另外 物质
的
measure
是
那个 长度测量
除以
那个 持续时间
在
那个 地区
处往
那个 方向属性
方向
(=>
(
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
是
那个 长度测量
除以
那个 持续时间
在
那个 地区
处往
那个 方向属性
方向
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