UnitOfLength
(=>
(
and
(
lengthOfNarrowGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
NarrowGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 246-254
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的短規格鐵路的
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
窄軌鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
SurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 551-559
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的鋪設鐵路
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
浮出水面的巷道
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfStandardGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
StandardGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 274-282
測量
RealNumber
and
UnitOfMeasure
GeographicArea
的 標準規格管線
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
標準軌距鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfUnclassifiedGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 308-316
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的未分類規格軌道
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
UnsurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 610-618
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的未鋪設高速公路
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
沒有鋪面的巷道
位於
Physical
and
GeographicArea
(=>
(
and
(
lowTide
?PLACE ?TIME1
(
MeasureFn
?AMOUNT1 ?U))
(
highTide
?PLACE ?TIME2
(
MeasureFn
?AMOUNT2 ?U))
(
instance
?U
UnitOfLength
)
(
instance
?DAY
Day
)
(
overlapsTemporally
?TIME1 ?DAY)
(
overlapsTemporally
?TIME2 ?DAY))
(
greaterThan
?AMOUNT1 ?AMOUNT2))
Geography.kif 5027-5037
Region
對於 %3
low
潮汐
Region
是 對於
測量
RealNumber
and
UnitOfMeasure
的
high
潮汐
TimeInterval
例
UnitOfMeasure
and
UnitOfLength
例
TimeInterval
and
Day
暫時重疊
TimeInterval
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
比較多
RealNumber
and
RealNumber
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
physicalAmplitude
震
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfLength
患者
震
and
Entity
Physical
Physical
,
震
,
震
and
RealNumber
期間
震
and
何時
震
期間
震
and
何時
震
持有期間
震
and
位於
Entity
and
Physical
持有期間
震
and
位於
Entity
and
Physical
距離
Physical
,
Physical
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
part
?P1 ?E1)
(
part
?P2 ?E2)
(
instance
?U
UnitOfLength
)
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
not
(
equal
?E1 ?E2)))
(
not
(
exists
(?OP1 ?OP2 ?D2)
(
and
(
not
(
part
?OP1 ?E1))
(
not
(
part
?OP2 ?E2))
(
distance
?OP1 ?OP2
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?D1)))))
Mid-level-ontology.kif 1295-1315
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
例
UnitOfMeasure
and
UnitOfLength
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
Object
and
Object
Object
P1
Object
P2 and
RealNumber
部分
Object
P1 and
Object
部分
Object
P2 and
Object
距離
Object
P1,
Object
P2 and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Roadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 493-501
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
高速公路系統長度
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
巷道
位於
Physical
and
GeographicArea
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
(
AdditionFn
?LENGTH1 ?LENGTH2) ?UNIT)))
Transportation.kif 510-517
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
高速公路系統長度
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的鋪設鐵路
length
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的未鋪設高速公路
length
例
UnitOfMeasure
and
UnitOfLength
測量
加成
RealNumber
and
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
高速公路系統長度
(=>
(
and
(
totalLengthOfWaterways
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?WATERWAY)
(
and
(
instance
?WATERWAY
Waterway
)
(
located
?WATERWAY ?AREA))))
Transportation.kif 665-673
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
水路長路
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
水路
位於
Physical
and
GeographicArea
(=>
(
and
(
totalPipelineInArea
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?PIPE)
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))))
Transportation.kif 694-702
測量
RealNumber
and
UnitOfMeasure
是 在地區
GeographicArea
的
total
管線
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
管道
位於
Physical
and
GeographicArea
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