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 6662-6665
(
documentation
SpeedFn
JapaneseLanguage
"
LengthMeasure
のインスタンスと
TimeDuration
の インスタンスを、この距離と時間の比率で表される速度にマップする。 例:(
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
)) は、時速55マイルの速度を表す。")
japanese_format.kif 1178-1180
(
domain
SpeedFn
1
LengthMeasure
)
Merge.kif 6658-6658
域
速度
, 1 and
LengthMeasure
(
domain
SpeedFn
2
TimeDuration
)
Merge.kif 6659-6659
域
速度
, 2 and
TimeDuration
(
instance
SpeedFn
BinaryFunction
)
Merge.kif 6657-6657
例
速度
and
BinaryFunction
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6656-6656
例
速度
and
TotalValuedRelation
(
range
SpeedFn
FunctionQuantity
)
Merge.kif 6660-6660
範圍
速度
and
FunctionQuantity
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6655-6655
子關係
速度
and
每
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 54608-54608
(
termFormat
ChineseLanguage
SpeedFn
"速率函数")
chinese_format.kif 660-660
(
termFormat
ChineseTraditionalLanguage
SpeedFn
"速度")
domainEnglishFormat.kif 54607-54607
(
termFormat
EnglishLanguage
SpeedFn
"speed")
domainEnglishFormat.kif 54606-54606
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 2867-2885
governorSpeed
SpeedGovernor
and
FunctionQuantity
等於
測量
RealNumber
and
MilesPerHour
and
速度
LengthMeasure
and
TimeDuration
等於
測量
RealNumber
and
MilesPerHour
and
速度
LengthMeasure
and
TimeDuration
比較多
RealNumber
and
RealNumber
等於
RealNumber
PROB and
可能性
測量
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
等於
RealNumber
PROB and
可能性
測量
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
比較多
RealNumber
PROB and
RealNumber
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 11192-11200
例
Process
and
Walking
例
Process
and
賽跑
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持有期間
何時
Process
and
測量
AutonomousAgent
and
速度
RealNumber
and
entity
持有期間
何時
Process
and
測量
AutonomousAgent
and
速度
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
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 136-145
例
Object
and
WindFlow
例
Object
and
Object
部分位於
Object
and
Object
測量
RealNumber
and
腳長
是
Object
的
elevation
小於或等於
RealNumber
and 500.0
測量
Object
and
速度
LengthMeasure
and
TimeDuration
速度
LengthMeasure
and
TimeDuration
是
Object
的
surface
風速
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
測量
Substance
的
flow
and
速度
LengthMeasure
and
TimeDuration
片
Substance
and
Substance
片
Substance
and
速度
LengthMeasure
and
TimeDuration
(=>
(
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
Region
是 對於
DirectionalAttribute
的
surface
風速率
速度
LengthMeasure
and
TimeDuration
例
Region
and
WindFlow
Process
例
Process
and
風
Process
是
partly
located
在
Region
測量
Process
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
(=>
(
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
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
例
Entity
and
UnitOfLength
例
Entity
and
UnitOfDuration
等於
RealNumber
and
可能性
測量
車輛
and
速度
測量
LengthMeasure
and
Entity
and
測量
TimeDuration
and
Entity
等於
RealNumber
and
可能性
測量
車輛
and
速度
測量
LengthMeasure
and
Entity
and
測量
TimeDuration
and
Entity
比較多
速度
LengthMeasure
and
TimeDuration
and
RealNumber
比較多
RealNumber
and
速度
LengthMeasure
and
TimeDuration
比較多
RealNumber
and
RealNumber
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 3929-3937
等於
FunctionQuantity
and
速度
測量
RealNumber
and
海裡
and
測量
RealNumber
and
小時
等於
FunctionQuantity
and
測量
部
RealNumber
and
RealNumber
and
結速度單位
consequent
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1685-1691
等於
FunctionQuantity
and
測量
RealNumber
and
MilesPerHour
等於
FunctionQuantity
and
速度
測量
RealNumber
and
英里
and
測量
1 and
小時
(=>
(
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 17170-17191
例
Process
and
加速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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 17198-17218
例
Process
and
減速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
例
Region
and
Object
例
Physical
and
風
測量
Physical
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
Region
是 對於
DirectionalAttribute
的
surface
風速率
速度
LengthMeasure
and
TimeDuration
(=>
(
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 136-145
例
Object
and
WindFlow
例
Object
and
Object
部分位於
Object
and
Object
測量
RealNumber
and
腳長
是
Object
的
elevation
小於或等於
RealNumber
and 500.0
測量
Object
and
速度
LengthMeasure
and
TimeDuration
速度
LengthMeasure
and
TimeDuration
是
Object
的
surface
風速
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
測量
Substance
的
flow
and
速度
LengthMeasure
and
TimeDuration
片
Substance
and
Substance
片
Substance
and
速度
LengthMeasure
and
TimeDuration
(=>
(
equal
?SPEED
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
1.0
HourDuration
))))
Geography.kif 3939-3945
等於
FunctionQuantity
and
測量
RealNumber
and
結速度單位
等於
FunctionQuantity
and
速度
測量
RealNumber
and
海裡
and
測量
1.0 and
小時
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6680-6682
測量
Physical
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
測量
Physical
and
速度
LengthMeasure
and
TimeDuration
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