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
Regiao
and
TransitSystem
Objeto
Objeto
e' uma
instancia
de
Transitway
Regiao
e'
conectado
com
Objeto
systemPart
Objeto
and
TransitSystem
Objeto
2
Objeto
2 e' uma
instancia
de
Transitway
Regiao
e'
conectado
com
Objeto
2
systemPart
Objeto
2 and
TransitSystem
Objeto
e'
igual
a
Objeto
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
Regiao
and
TransitSystem
Objeto
Objeto
e' uma
instancia
de
Transitway
Regiao
e'
conectado
com
Objeto
systemPart
Objeto
and
TransitSystem
Objeto
2
Objeto
2 e' uma
instancia
de
Transitway
Regiao
e'
conectado
com
Objeto
2
systemPart
Objeto
2 and
TransitSystem
Objeto
e'
igual
a
Objeto
2
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
streamOutfall
Area Aquatica
and
River
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
flows
River
and
Objeto
Area Aquatica
e'
conectado
com
Objeto
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