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
地域
and
TransitSystem
オブジェクト
オブジェクト
は
Transitway
の
instance
では %n
地域
は
オブジェクト
と
connected
して
systemPart
オブジェクト
and
TransitSystem
オブジェクト
2
オブジェクト
2 は
Transitway
の
instance
では %n
地域
は
オブジェクト
2 と
connected
して
systemPart
オブジェクト
2 and
TransitSystem
オブジェクト
は
オブジェクト
2 と
equal
では
(=>
(
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
地域
and
TransitSystem
オブジェクト
オブジェクト
は
Transitway
の
instance
では %n
地域
は
オブジェクト
と
connected
して
systemPart
オブジェクト
and
TransitSystem
オブジェクト
2
オブジェクト
2 は
Transitway
の
instance
では %n
地域
は
オブジェクト
2 と
connected
して
systemPart
オブジェクト
2 and
TransitSystem
オブジェクト
は
オブジェクト
2 と
equal
では
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
streamOutfall
水域
and
River
オブジェクト
オブジェクト
は
水域
の
instance
では %n
flows
River
and
オブジェクト
水域
は
オブジェクト
と
connected
して
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