path
(=>
(
and
(
instance
?WF
WarmFront
)
(
instance
?W
AirMass
)
(
origin
?WF ?W)
(
airTemperature
?W
(
MeasureFn
?X
CelsiusDegree
))
(
instance
?C
AirMass
)
(
path
?WF ?C)
(
airTemperature
?C
(
MeasureFn
?Y
CelsiusDegree
)))
(
greaterThan
?X ?Y))
Weather.kif 1319-1330
If
a motion
is an
instance
of
warm front
and
an object
is an
instance
of
air mass
and
the motion
originate
s at
the object
and
a real number
celsius degree
(s) is an
air
temperature of
the object
and
another object
is an
instance
of
air mass
and
the other object
is
path
along which
the motion
occurs and
another real number
celsius degree
(s) is an
air
temperature of
the other object
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11242-11252
If
an object
is
path
along which
a motion
occurs and
the motion
originate
s at
another object
and
the motion
end
s up at
a third object
and the
length
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
the other object
and
the third object
is
another real number
the unit of measure
(s) and
the real number
is not
greater
than
the other real number
and
a fourth object
is a
part
of
the object
,
then
the fourth object
is
between
the other object
and
the third object
(=>
(
and
(
transitwayThroughputCapacity
?LT ?TI ?I)
(
instance
?LT
AirTransitway
)
(
instance
?C
Collection
)
(
memberType
?C
Aircraft
)
(
memberCount
?C ?I2)
(
member
?V ?C)
(
instance
?T
Transportation
)
(
instrument
?T ?V)
(
during
(
WhenFn
?T) ?TI)
(
path
?T ?LT))
(
greaterThanOrEqualTo
?I ?I2))
Transportation.kif 3943-3955
If
a transitway
can handle
a nonnegative integer
number of vehicles during
a time interval
and
the transitway
is an
instance
of
air transitway
and
a collection
is an
instance
of
collection
and
aircraft
is a
member
type of
the collection
and
the nonnegative integer
2 is a
member
count of
the collection
and
an object
is a
member
of
the collection
and
a motion
is an
instance
of
transportation
and
the object
is an
instrument
for
the motion
and the
time
of existence of
the motion
takes place
during
the time interval
and
the transitway
is
path
along which
the motion
occurs,
then
the nonnegative integer
is
greater
than or equal to
the nonnegative integer
2
(=>
(
and
(
transitwayThroughputCapacity
?LT ?TI ?I)
(
instance
?LT
LandTransitway
)
(
instance
?C
Collection
)
(
memberType
?C
LandVehicle
)
(
memberCount
?C ?I2)
(
member
?V ?C)
(
instance
?T
Transportation
)
(
instrument
?T ?V)
(
during
(
WhenFn
?T) ?TI)
(
path
?T ?LT))
(
greaterThanOrEqualTo
?I ?I2))
Transportation.kif 3915-3927
If
a transitway
can handle
a nonnegative integer
number of vehicles during
a time interval
and
the transitway
is an
instance
of
land transitway
and
a collection
is an
instance
of
collection
and
land vehicle
is a
member
type of
the collection
and
the nonnegative integer
2 is a
member
count of
the collection
and
an object
is a
member
of
the collection
and
a motion
is an
instance
of
transportation
and
the object
is an
instrument
for
the motion
and the
time
of existence of
the motion
takes place
during
the time interval
and
the transitway
is
path
along which
the motion
occurs,
then
the nonnegative integer
is
greater
than or equal to
the nonnegative integer
2
(=>
(
and
(
transitwayThroughputCapacity
?LT ?TI ?I)
(
instance
?LT
Waterway
)
(
instance
?C
Collection
)
(
memberType
?C
WaterVehicle
)
(
memberCount
?C ?I2)
(
member
?V ?C)
(
instance
?T
Transportation
)
(
instrument
?T ?V)
(
during
(
WhenFn
?T) ?TI)
(
path
?T ?LT))
(
greaterThanOrEqualTo
?I ?I2))
Transportation.kif 3929-3941
If
a transitway
can handle
a nonnegative integer
number of vehicles during
a time interval
and
the transitway
is an
instance
of
waterway
and
a collection
is an
instance
of
collection
and
water vehicle
is a
member
type of
the collection
and
the nonnegative integer
2 is a
member
count of
the collection
and
an object
is a
member
of
the collection
and
a motion
is an
instance
of
transportation
and
the object
is an
instrument
for
the motion
and the
time
of existence of
the motion
takes place
during
the time interval
and
the transitway
is
path
along which
the motion
occurs,
then
the nonnegative integer
is
greater
than or equal to
the nonnegative integer
2
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
