UnitOfLength
(unit of length)
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of narrow gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
narrow gauge railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of paved highway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
surfaced roadway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of standard gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
standard gauge railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of unclassified gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of unpaved highway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
unsurfaced roadway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a region
low
tide
a time interval
for
a real number
an unit of measure
(s) and
the region
is
high
tide
another time interval
for
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then
the real number
is
greater
than
the other real number
(=>
(
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
If the amplitude
a tremor
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and
an entity
is a
patient
of
the tremor
,
then there don't exist
a physical
,
another physical
,, ,
the tremor
1,, ,
the tremor
2 and
the real number
2 such that
the tremor
1 takes place
during
the
time
of existence of
the tremor
and
the tremor
2 takes place
during
the
time
of existence of
the tremor
and
the entity
is
located
at
the physical
holds
during
the tremor
1 and
the entity
is
located
at
the other physical
holds
during
the tremor
2 and the
distance
between
the physical
and
the other physical
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than
the real number
(=>
(
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
If one end of
an object
is
another object
and one end of
the object
is
a third object
and
a fourth object
is a
part
of
the other object
and
a fifth object
is a
part
of
the third object
and
an unit of measure
is an
instance
of
unit of length
and the
distance
between
the fourth object
and
the fifth object
is
a real number
the unit of measure
(s) and
the other object
is not
equal
to
the third object
,
then there don't exist
the object
P1,
the object
P2 and
another real number
such that
the object
P1 is not a
part
of
the other object
and
the object
P2 is not a
part
of
the third object
and the
distance
between
the object
P1 and
the object
P2 is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
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
If the
top
speed
of
a vehicle
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
and
an entity
is an
instance
of
unit of length
and
another entity
is an
instance
of
unit of duration
and
another real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
a length measure
the entity
(s)
per
a time duration
the other entity
(s) and
a third real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
another length measure
the entity
(s)
per
another time duration
the other entity
(s) and
the length measure
per
the time duration
is
greater
than
the real number
and
the real number
is
greater
than
the other length measure
per
the other time duration
,
then
the third real number
is
greater
than
the other real number
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
length of highway system of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
roadway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
length of highway system of
a geographic area
and
the real number
1
the unit of measure
(s) is a
length
of paved highway of
the geographic area
and
the real number
2
the unit of measure
(s) is a
length
of unpaved highway of
the geographic area
and
the unit of measure
is an
instance
of
unit of length
,
then (
the real number
1 and
the real number
2)
the unit of measure
(s) is a
total
length of highway system of
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
length of waterways of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
waterway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
pipeline in area of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
pipeline
and
the physical
is
located
at
the geographic area
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