(=>     (instance ?R Ramp)     (capability MotionUpward path ?R))	Mid-level-ontology.kif 2366-2368	例 Object and 舷梯 能力 向上運動, 路徑 and Object
(=>     (instance ?SIDE Sidewalk)     (hasPurpose ?SIDE         (exists (?WALK)             (and                 (instance ?WALK Walking)                 (path ?WALK ?SIDE)))))	Mid-level-ontology.kif 15653-15659	例 Physical and 人行道 有目的 Physical and entity 例 entity and Walking 路徑 entity and Physical
(=>     (instance ?T Translocation)     (exists (?O ?D ?P)         (and             (instance ?O Object)             (instance ?D Object)             (instance ?P Object)             (path ?T ?P)             (origin ?T ?O)             (destination ?T ?D))))	Merge.kif 11591-11600	例 Motion and 易位 Object Entity and Object 例 Object and Object 例 Entity and Object 例 Object and Object 路徑 Motion and Object 起源 Motion and Object 目的地 Motion and Entity
(=>     (instance ?T Tube)     (hasPurpose ?T         (exists (?P ?OBJ)             (and                 (instance ?P Transfer)                 (path ?P ?T)                 (patient ?P ?OBJ)                 (attribute ?OBJ Fluid)))))	Mid-level-ontology.kif 1527-1535	例 Physical and 管 有目的 Physical and entity entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體
(=>     (instance ?TELEX Telex)     (hasPurpose ?TELEX         (exists (?SYS ?TELEX2 ?MSG)             (and                 (instance ?SYS TelephoneSystem)                 (instance ?TELEX2 Telex)                 (instance ?MSG Messaging)                 (or                     (and                         (origin ?MSG ?TELEX)                         (destination ?MSG ?TELEX2))                     (and                         (origin ?MSG ?TELEX2)                         (destination ?MSG ?TELEX)))                 (path ?MSG ?SYS)))))	Communications.kif 185-200	例 Physical and Telex 有目的 Physical and entity Physical and entity 例 entity and 電話系統 例 Physical and Telex 例 entity and 訊息 起源 entity and Physical 目的地 entity and Physical 起源 entity and Physical 目的地 entity and Physical 路徑 entity and entity
(=>     (instance ?TRACK RunningTrack)     (hasPurpose ?TRACK         (exists (?RUN ?HUMAN)             (and                 (instance ?HUMAN Human)                 (instance ?RUN Running)                 (agent ?RUN ?HUMAN)                 (path ?RUN ?TRACK)))))	Mid-level-ontology.kif 25794-25802	例 Physical and RunningTrack 有目的 Physical and entity entity 例 entity and Human 例 entity and 賽跑 agent entity and entity 路徑 entity and Physical
(=>     (instance ?V Valve)     (hasPurpose ?V         (exists (?FLUID ?PROC ?FLOW)             (and                 (instance ?FLOW Transfer)                 (path ?FLOW ?V)                 (patient ?FLOW ?FLUID)                 (attribute ?FLUID Fluid)                 (instance ?PROC Process)                 (instrument ?PROC ?V)                 (patient ?PROC ?FLOW)))))	engineering.kif 914-925	例 Physical and 閥 有目的 Physical and entity entity and entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體 例 entity and Process 儀器 entity and Physical 患者 entity and entity
(=>     (instance ?WAY AirTransitway)     (hasPurpose ?WAY         (exists (?TRANSPORT)             (and                 (instance ?TRANSPORT Transportation)                 (path ?TRANSPORT ?WAY)                 (partlyLocated ?WAY EarthsAtmosphere)))))	Transportation.kif 1250-1257	例 Physical and 空中運輸通道 有目的 Physical and entity 例 entity and Transportation 路徑 entity and Physical 部分位於 Physical and 地球的大氣
(=>     (instance ?WAY LandTransitway)     (hasPurpose ?WAY         (exists (?MOVE ?LAND)             (and                 (instance ?MOVE Translocation)                 (path ?MOVE ?WAY)                 (eventLocated ?MOVE ?LAND)                 (instance ?LAND LandArea)))))	Merge.kif 14311-14319	例 Physical and 陸地過境通道 有目的 Physical and entity entity 例 entity and 易位 路徑 entity and Physical entity 是 located 在 entity 例 entity and LandArea
(=>     (instance ?WAY Transitway)     (hasPurpose ?WAY         (exists (?TRANSPORT)             (and                 (instance ?TRANSPORT Translocation)                 (path ?TRANSPORT ?WAY)))))	Merge.kif 14298-14304	例 Physical and 公交專用道 有目的 Physical and entity 例 entity and 易位 路徑 entity and Physical
(=>     (instance ?WL WireLine)     (hasPurpose ?WL         (exists (?R)             (and                 (instance ?R Radiating)                 (path ?R ?WL)))))	Mid-level-ontology.kif 3625-3631	例 Physical and 電線 有目的 Physical and entity 例 entity and Radiating 路徑 entity and Physical
(=>     (orientation ?O1 ?O2 Downstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 29789-29798	方位 Object, Object and 下游 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
(=>     (orientation ?O1 ?O2 Downwind)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 29811-29820	方位 Object, Object and 順風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
(=>     (orientation ?O1 ?O2 Upstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 29778-29787	方位 Object, Object and 上游的 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
(=>     (orientation ?O1 ?O2 Upwind)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 29800-29809	方位 Object, Object and 上風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and 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