Motion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2997-2997
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11078-11078
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11450-11450
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11455-11455
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11458-11458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11453-11453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10132-10132
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11449-11449
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11456-11456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11452-11452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11451-11451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11454-11454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11457-11457
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11076-11076	子類 Motion and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4963-4963	範圍流 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11157-11157	子類 BodyMotion and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22615-22615	子類關閉 and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1966-1966	子類 Compressing and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11349-11349	子類 DirectionChange and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2192-2192	子類 EngineCranking and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	子類 EngineCycle and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 202-202	子類 FourStrokeCombustion and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 186-186	子類 FourStrokeCompression and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 219-219	子類 FourStrokeExhaust and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 166-166	子類 FourStrokeIntake and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11307-11307	子類氣體運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11252-11252	子類地質過程 and Motion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5775-5775	子類灌溉 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11283-11283	子類液體運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11128-11128	子類向下運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11122-11122	子類向上運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22608-22608	子類開盤 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18696-18696	子類拉 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18702-18702	子類 Pushing and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13720-13720	子類 Radiating and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18602-18602	子類逆 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18530-18530	子類旋轉 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18061-18061	子類拉伸 and Motion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6863-6863	子類蜂擁 and Motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11042-11042	域移動, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	域路徑, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 316-316	域 windDrivenMotion, 2 and Motion

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1822-1840	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1801-1820	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2714-2728	例 Object and FanBelt 例 Object and EngineFan 例 Object and 汽車部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object 有目的 Object and Process 例 Process and 旋轉原因 Process and Process 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 85-91	例 Process and GuidingMotion 患者 Process and Entity 子過程 Process and Process 例 Process and Motion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	例 Process and GuidingMotion 子過程 Process and Process 例 Process and Motion 患者 Process and Entity 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11115-11120	例 Motion and Motion 移動 Motion and Object 目的地 Motion and Entity 持有期間結束何時 Motion and 位於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11099-11104	例 Motion and Motion 移動 Motion and Object 起源 Motion and Object 持有期間開始何時 Motion and 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 801-807	例 Object and 原油管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 石油
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 813-819	例 Object and 天然氣管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 天然氣
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 826-832	例 Object and 石油產品管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 石油產品
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	例 Object and 管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 延期流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11081-11086	例 Motion and Motion Object 例 Object and Object 移動 Motion and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27254-27266	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2038-2042	例 Attribute and SpeedScaleAttribute 屬性 Entity and Attribute 例 Entity and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3482-3492	例 Object and 車輛制動器例 Object and 車輛部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1822-1840	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1801-1820	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19239-19273	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31369-31380	例 Entity and AutonomousAgent 持有期間 TimeInterval and attribute Entity and Motionless Process 例 Process and Motion 患者 Process and Entity 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2112-2125	speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure Physical RealNumber 例 Physical and Motion 屬性 Physical and SpeedScaleAttribute 測量 Physical and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2764-2780	attribute Object and 鎖定 Object Process and Entity 例 Object and 鎖連接的 Object and Object 例 Process and 關閉患者 Process and Object 例 Entity and Motion 早期何時 Process and 何時 attribute Object and 鎖定持有期間何時 attribute Object and 鎖定 and 模態屬性患者 Entity and Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 536-552	例 Physical and Catheter 有目的 Physical and entity entity, entityBJ and entity 例 entity and Organism 例 entity and Motion 移動 entity and entityBJ 方位 entity, entity and 外路徑 entity and Physical 起源 entity and entity 目的地 entity and entity 起源 entity and entity 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 71-76	例 Process and GuidingMotion Process 子過程 Process and Process 例 Process and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	例 Physical and IntermittentCombustionEngine 有目的 Physical and entity entity 例 entity and 爆炸例 entity and Motion entity 是 located 在 Physical entity 是 located 在 Physical 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	例 Physical and 內燃機有目的 Physical and entity entity and entity 例 entity and Combustion 例 entity and Motion 部分 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	例 Physical and MechanicalJoint 有目的 Physical and entity entity, entity and entity 例 entity and Motion 例 entity and 物理系統例 entity and EngineeringComponent 例 entity and EngineeringComponent 部分 entity and 物理系統部分 Physical and 物理系統部分 entity and 物理系統患者 entity and entity 患者 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26402-26417	例 Object and WhirlpoolTub Object 例 Object and 壓力控制閥部分 Object and Object 有目的 Object and entity entity and entity 例 entity and Water 位於 entity and Object 例 entity and Creation 儀器 entity and Object 結果 entity and entity 例 entity and Motion 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	例 Entity and FruitOrVegetable 的 juice Object Process 例 Object and FruitOrVegetable 例 Process and Motion 資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-949	例 Physical and ElectroMechanicalFitting 有目的 Physical and entity entity and entity 例 entity and Motion 例 entity and 電力資源 entity and entity 儀器 entity and Physical 患者 entity and entity 例 entity and Machine
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1248-1265	例 Process and WaterSkiing AutonomousAgent Object, Object, Object, Object, Process and Process 例 Object and 水車例 Object and WaterArea 例 Object and WaterSki Process 是 located 在 Object 例 AutonomousAgent and Human 位於 AutonomousAgent and Object 連接 Object, AutonomousAgent and Object 例 Process and Transportation 儀器 Process and Object 例 Process and Motion agent Process and AutonomousAgent 儀器 Process and Object 原因 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1306-1317	例 Process and WindSurfing Object Object, Process and Process 例 Object and WindSurfingBoard 例 Object and WaterArea 例 Process and 風例 Process and Motion Process 是 located 在 Object 子過程 Process and Process 儀器 Process and Object 原因 Process and Process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: