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
如果
实数
测量单位
是
地理区域
的短规格铁路的
length
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
窄轨铁路
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
实数
测量单位
是
地理区域
的铺设铁路
length
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
浮出水面的巷道
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
实数
测量单位
地理区域
的 标准规格管线
length
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
标准轨距铁路
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
实数
测量单位
是
地理区域
的未分类规格轨道
length
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
铁路
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
实数
测量单位
是
地理区域
的未铺设高速公路
length
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
没有铺面的巷道
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
地区
对于 %3
low
潮汐 和
那个 地区
是 对于
实数
测量单位
的
high
潮汐
时距
和
那个 测量单位
是
UnitOfLength
的
instance
和
另一个 时距
是
日
的
instance
和
那个 另外 时距
时段 和
第三 时距
重叠 和
那个 另外 时距
时段 和
那个 时距
重叠,
然后
另一个 实数
是
greaterThan
那个 实数
(=>
(
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
实数
测量单位
和
那个 测量单位
是
UnitOfLength
的
instance
和
实体
是
那个 震
的
patient
,
然后 不存在
物理
,
另一个 物理
,, ,
那个 震
1,, ,
那个 震
2, and 和
那个 实数
2 这样
那个 震
1 在
那个 震
出现 的
time
时段内发生 和
那个 震
2 在
那个 震
出现 的
time
时段内发生 和
那个 实体
是
located
在
那个 物理
在
那个 震
1
holdsDuring
和
那个 实体
是
located
在
那个 另外 物理
在
那个 震
2
holdsDuring
和
那个 物理
和
那个 另外 物理
的
distance
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThan
那个 实数
(=>
(
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
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
第四 客体
是
那个 客体
的
part
和
第五 客体
是
那个 第三 客体
的
part
和
测量单位
是
UnitOfLength
的
instance
和
那个 第四 客体
和
那个 第五 客体
的
distance
是
实数
那个 测量单位
和
那个 客体
不
equal
那个 第三 客体
,
然后 不存在
那个 另外 客体
P1,
那个 另外 客体
P2, and 和
另一个 实数
这样
那个 另外 客体
P1 不 是
那个 客体
的
part
和
那个 另外 客体
P2 不 是
那个 第三 客体
的
part
和
那个 另外 客体
P1 和
那个 另外 客体
P2 的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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
那个 另外 实数
(=>
(
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
如果
实数
测量单位
是
地理区域
的
total
高速公路系统长度 和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
巷道
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
实数
测量单位
是
地理区域
的
total
高速公路系统长度 和
那个 实数
1
那个 测量单位
是
那个 地理区域
的铺设铁路
length
和
那个 实数
2
那个 测量单位
是
那个 地理区域
的未铺设高速公路
length
和
那个 测量单位
是
UnitOfLength
的
instance
,
然后 (
那个 实数
1 和
那个 实数
2)
那个 测量单位
是
那个 地理区域
的
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
如果
实数
测量单位
是
地理区域
的
total
水路长路 和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
水路
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
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
如果
实数
测量单位
是 在地区
地理区域
的
total
管线 和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
管道
的
instance
和
那个 物理
是
located
在
那个 地理区域
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