(=>     (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	如果 地区 是 运输系统 的 end ， 然后 有存在 客体 这样 那个 客体 是 公交专用道 的 instance 和 那个 地区 和 那个 客体 是 connected 和 那个 运输系统 是 那个 客体 的 system 部分 和 不存在 那个 客体2 这样 那个 客体2 是 公交专用道 的 instance 和 那个 地区 和 那个 客体2 是 connected 和 那个 运输系统 是 那个 客体2 的 system 部分 和 那个 客体 不 equal 那个 客体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	如果 地区 是 运输系统 的 start ， 然后 有存在 客体 这样 那个 客体 是 公交专用道 的 instance 和 那个 地区 和 那个 客体 是 connected 和 那个 运输系统 是 那个 客体 的 system 部分 和 不存在 那个 客体2 这样 那个 客体2 是 公交专用道 的 instance 和 那个 地区 和 那个 客体2 是 connected 和 那个 运输系统 是 那个 客体2 的 system 部分 和 那个 客体 不 equal 那个 客体2
(=>     (streamOutfall ?MOUTH ?RIVER)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (flows ?RIVER ?WATER)             (connected ?MOUTH ?WATER))))	Geography.kif 5693-5699	如果 水域 是 河 的 outfall ， 然后 有存在 客体 这样 那个 客体 是 水域 的 instance 和 那个 客体 是 那个 河 的 flows 和 那个 水域 和 那个 客体 是 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