connected
(=>
(
routeEnd
?R ?TS)
(
exists
(?T)
(
and
(
instance
?T
Transitway
)
(
connected
?R ?T)
(
systemPart
?T ?TS)
(
not
(
exists
(?T2)
(
and
(
instance
?T2
Transitway
)
(
connected
?R ?T2)
(
systemPart
?T2 ?TS)
(
not
(
equal
?T ?T2))))))))
Transportation.kif 2783-2797
If
a region
is the
end
of
a transit system
,
then there exists
an object
such that
the object
is an
instance
of
transitway
and
the region
is
connected
to
the object
and
the transit system
is a
system
part of
the object
and there doesn't exist
the object
2 such that
the object
2 is an
instance
of
transitway
and
the region
is
connected
to
the object
2 and
the transit system
is a
system
part of
the object
2 and
the object
is not
equal
to
the object
2
(=>
(
routeStart
?R ?TS)
(
exists
(?T)
(
and
(
instance
?T
Transitway
)
(
connected
?R ?T)
(
systemPart
?T ?TS)
(
not
(
exists
(?T2)
(
and
(
instance
?T2
Transitway
)
(
connected
?R ?T2)
(
systemPart
?T2 ?TS)
(
not
(
equal
?T ?T2))))))))
Transportation.kif 2760-2774
If
a region
is the
start
of
a transit system
,
then there exists
an object
such that
the object
is an
instance
of
transitway
and
the region
is
connected
to
the object
and
the transit system
is a
system
part of
the object
and there doesn't exist
the object
2 such that
the object
2 is an
instance
of
transitway
and
the region
is
connected
to
the object
2 and
the transit system
is a
system
part of
the object
2 and
the object
is not
equal
to
the object
2
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
If
a water area
is the
outfall
of
a river
,
then there exists
an object
such that
the object
is an
instance
of
water area
and
the object
is a
flows
of
the river
and
the water area
is
connected
to
the object
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