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
SpeedFn
の数値 1 引数は
長さ測定
の
instance
では %n
(
domain
SpeedFn
2
TimeDuration
)
Merge.kif 6658-6658
SpeedFn
の数値 2 引数は
時間分
の
instance
では %n
(
instance
SpeedFn
BinaryFunction
)
Merge.kif 6656-6656
SpeedFn
は
2変数関数
の
instance
では %n
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6655-6655
SpeedFn
は
合計値関係
の
instance
では %n
(
range
SpeedFn
FunctionQuantity
)
Merge.kif 6659-6659
SpeedFn
の
range
は
関数量
のインスタンス では %n
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
SpeedFn
は
PerFn
の
subrelation
では %n
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
関数量
実数
の
MilesPerHour
(s) は
時間分
per
長さ測定
と
equal
では %n
実数
の
MilesPerHour
(s) は
時間分
per
長さ測定
と
equal
では %n
実数
は
実数
より
greater
では %n
実数
PROB は
SpeedGovernor
の
measure
は
実数
の
MilesPerHour
(s) では %n の
probability
と
equal
では %n
実数
PROB は
SpeedGovernor
の
measure
は
実数
の
MilesPerHour
(s) では %n の
probability
と
equal
では %n
実数
PROB は
実数
PROB より
greater
では %n
(=>
(
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
では %n
工程
は
Running
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
の
measure
は
エンティティー
per
実数
では %n は
工程
の
time
の existence の
during
holds %n{ない}
AutonomousAgent
の
measure
は
エンティティー
per
実数
では %n は
工程
の
time
の existence の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
は
WindFlow
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
elevation
オブジェクト
and
実数
の
FootLength
(s)
実数
は 500.0 より
less
または同等 では %n
オブジェクト
の
measure
は
時間分
per
長さ測定
では %n
surfaceWindSpeed
オブジェクト
and
時間分
per
長さ測定
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
FlowFn
物質
の
measure
は
時間分
per
長さ測定
では %n
物質
は
物質
の
piece
では %n
物質
は
時間分
per
長さ測定
の
piece
では %n
(=>
(
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
surfaceWindVelocity
地域
,
時間分
per
長さ測定
and
方向属性
地域
は
WindFlow
の
instance
では %n
工程
工程
は
Wind
の
instance
では %n
eventPartlyLocated
工程
and
地域
工程
の
measure
は 方向 の 分の %2
per
1 では %n
(=>
(
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
topSpeed
Vehicle
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
エンティティー
は
UnitOfDuration
の
instance
では %n
実数
は
Vehicle
の
measure
は
時間分
の
エンティティー
(s)
per
長さ測定
の
エンティティー
(s) では %n の
probability
と
equal
では %n
実数
は
Vehicle
の
measure
は
時間分
の
エンティティー
(s)
per
長さ測定
の
エンティティー
(s) では %n の
probability
と
equal
では %n
時間分
per
長さ測定
は
実数
より
greater
では %n
実数
は
時間分
per
長さ測定
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 3929-3937
関数量
は
実数
の
HourDuration
(s)
per
実数
の
NauticalMile
(s) と
equal
では %n
関数量
は
実数
+
実数
の
KnotUnitOfSpeed
(s) と
equal
では %n
consequent
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1702-1708
関数量
は
実数
の
MilesPerHour
(s) と
equal
では %n
関数量
は 1 の
HourDuration
(s)
per
実数
の
Mile
(s) と
equal
では %n
(=>
(
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
工程
は
Accelerating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
,
実数
,
実数
,
エンティティー
and
エンティティー
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
工程
は
Decelerating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
,
実数
,
実数
,
エンティティー
and
エンティティー
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
物理
は
Wind
の
instance
では %n
物理
の
measure
は 方向 の 分の %2
per
1 では %n
surfaceWindVelocity
地域
,
時間分
per
長さ測定
and
方向属性
(=>
(
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
オブジェクト
は
WindFlow
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
elevation
オブジェクト
and
実数
の
FootLength
(s)
実数
は 500.0 より
less
または同等 では %n
オブジェクト
の
measure
は
時間分
per
長さ測定
では %n
surfaceWindSpeed
オブジェクト
and
時間分
per
長さ測定
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
FlowFn
物質
の
measure
は
時間分
per
長さ測定
では %n
物質
は
物質
の
piece
では %n
物質
は
時間分
per
長さ測定
の
piece
では %n
(=>
(
equal
?SPEED
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
1.0
HourDuration
))))
Geography.kif 3939-3945
関数量
は
実数
の
KnotUnitOfSpeed
(s) と
equal
では %n
関数量
は 1.0 の
HourDuration
(s)
per
実数
の
NauticalMile
(s) と
equal
では %n
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6679-6681
物理
の
measure
は 方向 の 分の %2
per
1 では %n
物理
の
measure
は
時間分
per
長さ測定
では %n
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