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
SpeedFn
Sigma KEE - SpeedFn
SpeedFn
appearance as argument number 1
(
documentation
SpeedFn
ChineseLanguage
"这个函数把
LengthMeasure
的一个实例和
TimeDuration
的一个实例和由这个时间和距离比例所代表的速率联系起来。例如: (
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
))表示速度55英里每小时。")
chinese_format.kif 2483-2485
(
documentation
SpeedFn
EnglishLanguage
"Maps an instance of
LengthMeasure
and an instance of
TimeDuration
to the speed represented by this proportion of distance and time. For example, (
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
)) represents the velocity of 55 miles per hour.")
Merge.kif 6661-6664
(
documentation
SpeedFn
JapaneseLanguage
"
LengthMeasure
のインスタンスと
TimeDuration
の インスタンスを、この距離と時間の比率で表される速度にマップする。 例:(
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
)) は、時速55マイルの速度を表す。")
japanese_format.kif 1178-1180
(
domain
SpeedFn
1
LengthMeasure
)
Merge.kif 6657-6657
速率函数
的 1 数量 是
长度测量
的
instance
(
domain
SpeedFn
2
TimeDuration
)
Merge.kif 6658-6658
速率函数
的 2 数量 是
持续时间
的
instance
(
instance
SpeedFn
BinaryFunction
)
Merge.kif 6656-6656
速率函数
是
二元函数
的
instance
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6655-6655
速率函数
是
总值关系
的
instance
(
range
SpeedFn
FunctionQuantity
)
Merge.kif 6659-6659
速率函数
的
range
是
函数量
的实例
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
速率函数
是
每
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
SpeedFn
"%1 除以 %2")
chinese_format.kif 659-659
(
format
EnglishLanguage
SpeedFn
"%1 per %2")
english_format.kif 662-662
(
format
FrenchLanguage
SpeedFn
"%1 par %2")
french_format.kif 396-396
(
format
ItalianLanguage
SpeedFn
"%1 per %2")
relations-it.txt 267-267
(
format
JapaneseLanguage
SpeedFn
"%2 per %1")
japanese_format.kif 2126-2126
(
format
PortugueseLanguage
SpeedFn
"%1 por %2")
portuguese_format.kif 348-348
(
format
de
SpeedFn
"%1 pro &2")
relations-de.txt 862-862
(
format
hi
SpeedFn
"%1 prati %2")
relations-hindi.txt 304-304
(
format
ro
SpeedFn
"%1 per%t{pe} %2")
relations-ro.kif 418-418
(
format
sv
SpeedFn
"%1 per %2")
relations-sv.txt 439-439
(
format
tg
SpeedFn
"%1 bawa't %2")
relations-tg.txt 459-459
(
termFormat
ChineseLanguage
SpeedFn
"速度")
domainEnglishFormat.kif 54606-54606
(
termFormat
ChineseLanguage
SpeedFn
"速率函数")
chinese_format.kif 660-660
(
termFormat
ChineseTraditionalLanguage
SpeedFn
"速度")
domainEnglishFormat.kif 54605-54605
(
termFormat
EnglishLanguage
SpeedFn
"speed")
domainEnglishFormat.kif 54604-54604
antecedent
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
如果
governorSpeed
SpeedGovernor
and
函数量
和
实数
英里每小時
equal
长度测量
除以
持续时间
和
另一个 实数
英里每小時
equal
另一个 长度测量
除以
另一个 持续时间
和
那个 实数
是
greaterThan
那个 另外 实数
和
那个 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 实数
英里每小時
的机率 和
那个 另外 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 另外 实数
英里每小時
的机率,
然后
那个 另外 实数
PROB 是
greaterThan
那个 实数
PROB
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
如果
过程
是
步行
的
instance
和
另一个 过程
是
赛跑
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
的
measure
是
实数
除以
实体
在
那个 过程
出现 的
time
holdsDuring
和
那个 施事体
的
measure
是
另一个 实数
除以
那个 实体
在
那个 另外 过程
出现 的
time
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
如果
客体
是
大气气流
的
instance
和
另一个 客体
是
客体
的
instance
和
那个 客体
是
partlyLocated
在
那个 另外 客体
和
实数
脚长
是
那个 客体
的
elevation
和
那个 实数
是
lessThanOrEqualTo
500.0 和
那个 客体
的
measure
是
长度测量
除以
持续时间
,
然后
那个 长度测量
除以
那个 持续时间
是
那个 另外 客体
的
surface
风速
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
如果
物质
的
flow
的
measure
是
长度测量
除以
持续时间
和
另一个 物质
是
那个 物质
的
piece
,
然后
那个 另外 物质
是
那个 长度测量
除以
那个 持续时间
的
piece
(=>
(
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
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
如果
车辆
的
top
speed
是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
和
实体
是
UnitOfLength
的
instance
和
另一个 实体
是
UnitOfDuration
的
instance
和
另一个 实数
equal
那个 车辆
的
measure
是
长度测量
那个 实体
除以
持续时间
那个 另外 实体
的机率 和
第三 实数
equal
那个 车辆
的
measure
是
另一个 长度测量
那个 实体
除以
另一个 持续时间
那个 另外 实体
的机率 和
那个 长度测量
除以
那个 持续时间
是
greaterThan
那个 实数
和
那个 实数
是
greaterThan
那个 另外 长度测量
除以
那个 另外 持续时间
,
然后
那个 第三 实数
是
greaterThan
那个 另外 实数
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 3929-3937
如果
函数量
equal
实数
海里
除以
另一个 实数
小时
,
然后
那个 函数量
equal
那个 实数
和
那个 另外 实数
结速度单位
consequent
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1702-1708
函数量
equal
实数
英里每小時
若且唯若
那个 函数量
equal
那个 实数
英里
除以 1
小时
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
如果
过程
是
加速
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
,, ,
实体
, and 和
另一个 实体
这样
那个 施事体
的
measure
是
那个 实数
那个 实体
除以
那个 第三 实数
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
measure
是
那个 另外 实数
那个 实体
除以
那个 第四 实数
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
或
那个 第四 实数
是
greaterThan
那个 第三 实数
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17171-17191
如果
过程
是
减速
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
,, ,
实体
, and 和
另一个 实体
这样
那个 施事体
的
measure
是
那个 实数
那个 实体
除以
那个 第三 实数
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
measure
是
那个 另外 实数
那个 实体
除以
那个 第四 实数
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
或
那个 第三 实数
是
greaterThan
那个 第四 实数
(=>
(
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
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
如果
客体
是
大气气流
的
instance
和
另一个 客体
是
客体
的
instance
和
那个 客体
是
partlyLocated
在
那个 另外 客体
和
实数
脚长
是
那个 客体
的
elevation
和
那个 实数
是
lessThanOrEqualTo
500.0 和
那个 客体
的
measure
是
长度测量
除以
持续时间
,
然后
那个 长度测量
除以
那个 持续时间
是
那个 另外 客体
的
surface
风速
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
如果
物质
的
flow
的
measure
是
长度测量
除以
持续时间
和
另一个 物质
是
那个 物质
的
piece
,
然后
那个 另外 物质
是
那个 长度测量
除以
那个 持续时间
的
piece
(=>
(
equal
?SPEED
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
1.0
HourDuration
))))
Geography.kif 3939-3945
如果
函数量
equal
实数
结速度单位
,
然后
那个 函数量
equal
那个 实数
海里
除以 1.0
小时
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6679-6681
如果
物理
的
measure
是
长度测量
除以
持续时间
在
地区
处往
方向属性
方向,
然后
那个 物理
的
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