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
Wenn
lengthOfNarrowGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
NarrowGaugeRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfPavedHighway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
SurfacedRoadway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfStandardGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
StandardGaugeRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfUnclassifiedGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Railway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfUnpavedHighway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
UnsurfacedRoadway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lowTide
Region
,
TimeInterval
and
RealNumber
UnitOfMeasure
(s) und
highTide
** Region
,
** TimeInterval
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** TimeInterval
ist ein
fall
von
Day
%n{nicht} und
** ** TimeInterval
deckt
sich mit
** TimeInterval
%n{nicht} und
** ** TimeInterval
deckt
sich mit
** ** TimeInterval
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
physicalAmplitude
Tremor
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
Entity
ist ein
patient
von
** Tremor
%n{nicht},
dann es gibt nicht
Physical
,
** Physical
,, ,
** Tremor
1,, ,
** Tremor
2, and und
** RealNumber
2 um
** Tremor
1 geschieht
waehrend
die
zeit
des Bestehens von
** Tremor
%n{nicht} und
** Tremor
2 geschieht
waehrend
die
zeit
des Bestehens von
** Tremor
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
** Tremor
1 %n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
** Tremor
2 %n{nicht} und der
abstand
zwischen
** Physical
und
** ** Physical
ist
** RealNumber
2
** UnitOfMeasure
(s) und
** RealNumber
2 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
physicalEnd
Object
and
** Object
und
physicalEnd
** Object
and
** ** Object
und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und der
abstand
zwischen
** ** Object
und
** ** Object
ist
RealNumber
** UnitOfMeasure
(s) und
** Object
ist gleich
** ** Object
nicht,
dann es gibt nicht
** ** Object
P1,
** ** Object
P2, and und
** RealNumber
um
** ** Object
P1 ist ein
teil
von
** Object
nicht und
** ** Object
P2 ist ein
teil
von
** ** Object
nicht und der
abstand
zwischen
** ** Object
P1 und
** ** Object
P2 ist
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
topSpeed
Vehicle
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
** Entity
ist ein
fall
von
UnitOfDuration
%n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von das
mass
von
** Vehicle
ist
LengthMeasure
** Entity
(s)
pro
&2 %n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von das
mass
von
** Vehicle
ist
** LengthMeasure
** Entity
(s)
pro
&2 %n{nicht} %n{nicht} und
** LengthMeasure
pro
&2 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
** ** LengthMeasure
pro
&2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
totalLengthOfHighwaySystem
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Roadway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
totalLengthOfHighwaySystem
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
lengthOfPavedHighway
** GeographicArea
and
** RealNumber
1
** UnitOfMeasure
(s) und
lengthOfUnpavedHighway
** GeographicArea
and
** RealNumber
2
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht},
dann
totalLengthOfHighwaySystem
** GeographicArea
and (
** RealNumber
1 und
** RealNumber
2)
** UnitOfMeasure
(s)
(=>
(
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
Wenn
totalLengthOfWaterways
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Waterway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
totalPipelineInArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Pipeline
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
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