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
routeEnd
r�gion
and
TransitSystem
objet
objet
est une
instance
de
Transitway
r�gion
est
connect
� �
objet
systemPart
objet
and
TransitSystem
objet
2
objet
2 est une
instance
de
Transitway
r�gion
est
connect
� �
objet
2
systemPart
objet
2 and
TransitSystem
objet
est
objet
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
routeStart
r�gion
and
TransitSystem
objet
objet
est une
instance
de
Transitway
r�gion
est
connect
� �
objet
systemPart
objet
and
TransitSystem
objet
2
objet
2 est une
instance
de
Transitway
r�gion
est
connect
� �
objet
2
systemPart
objet
2 and
TransitSystem
objet
est
objet
2
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
streamOutfall
plan d'eau
and
River
objet
objet
est une
instance
de
plan d'eau
flows
River
and
objet
plan d'eau
est
connect
� �
objet
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