Rotating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19000-19001
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6830-6830
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7768-7768
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7769-7769
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7770-7770
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18999-18999	子類旋轉 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19040-19040	子類離心運動 and 旋轉
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19056-19056	子類向心運動 and 旋轉
No TPTP formula. May not be expressible in strict first order.	Food.kif 3060-3060	子類 ChurningButter and 旋轉
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1665-1665	子類 ScrollWheelRotating and 旋轉
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19016-19016	子類震 and 旋轉
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50519-50519	子類震 and 旋轉
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50518-50518	子類震 and 旋轉
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50517-50517	子類震 and 旋轉

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2087-2087

域 RotationFn, 1 and 旋轉

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	例 Object and BrakePad 例 Entity and BrakeRotor 例 Process and 旋轉患者 Process and Entity 例 Process and 摩擦資源 Process and Object 患者 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	例 Object and BrakeShoe 例 Entity and BrakeDrum 例 Process and 旋轉患者 Process and Entity 例 Process and 摩擦資源 Process and Object 患者 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4988-5003	例 Entity and Ratchet 例 Entity and 附著裝置例 EntityO1 and 旋轉 attribute EntityO1 and Attribute 例 EntityO2 and 旋轉 attribute EntityO2 and Attribute 例 Attribute and RotationalAttribute 例 Attribute and RotationalAttribute 等於 EntityO1 and EntityO2 原因 EntityO1 and EntityO2 患者 EntityO1 and Ratchet 患者 EntityO2 and Entity 等於 Attribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19003-19014	例 Process and 旋轉患者 Process and Entity entity 持有期間開始何時 Process and 位於 Entity and entity 持有期間結束何時 Process and 位於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 183-202	例 Process and 旋轉患者 Process and Object 例 Object and ContinuousTrack Collection Collection, Object and Process 例 Collection and Collection 會員 Collection and Collection 例 Collection and 輪 Integer 是 Collection 的 member 計數比較多 Integer and 2 部分 Collection and Object 部分 Object and Object 例 Object and CorpuscularObject Object 是又長又瘦 attribute Object and 易彎的位於 Collection and Object 例 Process and 旋轉原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2098-2117	例 Entity and 軸例 Entity and 軸等於 Entity and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 原因 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and CVJoint 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1633-1654	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸例 entity and 旋轉患者 entity and Object entity 是 located 在 Object 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2914-2932	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉持有期間何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity 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.	Cars.kif 4362-4375	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Process 例 Process and 旋轉患者 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6391-6402	例 AutonomousAgent and 車床例 Entity and Object 儀器 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and 旋轉子過程 Process and Process 患者 Process and Entity agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Military.kif 183-202	例 Process and 旋轉患者 Process and Object 例 Object and ContinuousTrack Collection Collection, Object and Process 例 Collection and Collection 會員 Collection and Collection 例 Collection and 輪 Integer 是 Collection 的 member 計數比較多 Integer and 2 部分 Collection and Object 部分 Object and Object 例 Object and CorpuscularObject Object 是又長又瘦 attribute Object and 易彎的位於 Collection and Object 例 Process and 旋轉原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	例 Process and Transportation 例 Object and 輪例 Object and 汽車部分 Object and Object 儀器 Process and Object 例 ObjectB and AntilockBrake 例 Process and 減速儀器 Process and ObjectB 部分 ObjectB and Object 有目的 ObjectB and entity 例 entity and 旋轉期間 entity and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19026-19038	AutonomousAgent 是 AutonomousAgent 的 axis Process 例 Process and 旋轉部分 AutonomousAgent and AutonomousAgent 體驗者 Process and AutonomousAgent Process 例 Process and 旋轉子過程 Process and Process 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 865-875	gearRatio 齒輪, 齒輪 and RealNumber RealNumber RealNumber 例 RealNumber and 旋轉患者 RealNumber and 齒輪例 RealNumber and 旋轉患者 RealNumber and 齒輪原因 RealNumber and RealNumber 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2330-2364	例 Physical and AutomobileTransmission 有目的 Physical and entity entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Crankshaft 例 entity and Driveshaft 例 entity and 汽車部分 entity and entity 部分 Physical and entity 部分 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical 例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉患者 entity and entity 患者 entity and entity 患者 entity and entity 患者 entity and entity 原因 entity and entity 原因 entity and entity 等於 entity and entity 持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1646-1652	例 Physical and Cam 有目的 Physical and entity 例 entity and 旋轉患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1659-1665	例 Physical and Camshaft 有目的 Physical and entity 例 entity and 旋轉患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	例 Physical and ChurningButter 有目的 Physical and entity entity and entity 例 entity and 奶例 entity and 旋轉患者 entity and entity 結果 entity and entity 例 entity and 奶油
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19045-19054	例 Process and 離心運動 Process Object, AutonomousAgent and AutonomousAgent 例 Process and 旋轉 AutonomousAgent 是 Object 的 axis 起源 Process and Object 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19060-19069	例 Process and 向心運動 Process Object, AutonomousAgent and AutonomousAgent 例 Process and 旋轉 AutonomousAgent 是 Object 的 axis 目的地 Process and Object 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2258-2270	例 Physical and Distributor 有目的 Physical and entity entity, entity, entity and entity 例 entity and 發動機例 entity and SparkPlug 例 entity and Spark 部分 entity and Physical 部分 Physical and entity 部分 entity and entity 例 entity and 旋轉原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2309-2321	例 Physical and Driveshaft 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and 輪部分 Physical and entity 部分 entity and entity 例 entity and 旋轉患者 entity and Physical 患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4667-4675	例 Physical and Screwdriver 有目的 Physical and entity entity 例 entity and 旋轉儀器 entity and Physical 患者 entity and entity 例 entity and 螺絲
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2199-2214	例 Process and EngineCranking Object Object, Object, Process, Object and Process 例 Object and 電動機例 Object and 內燃機例 Object and 軸例 Object and Crankshaft 部分 Object and Object 子過程 Process and Process 例 Process and 旋轉患者 Process and Object 例 Process and 旋轉患者 Process and Object 部分 Object and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2223-2231	例 Physical and Flywheel 有目的 Physical and entity entity 例 entity and 旋轉例 entity and 旋轉患者 entity and Physical 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4649-4665	例 Physical and FourWheelDriveVehicle 有目的 Physical and entity 部分 entity and Physical entity entity, entity and entity 例 entity and 發動機部分 entity and Physical 例 entity and Crankshaft 部分 entity and entity 例 entity and 旋轉患者 entity and entity 例 entity and 旋轉患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16657-16665	例 Physical and 合頁有目的 Physical and entity entity 連接 Physical, entity and entity 能力旋轉, 患者 and entity 能力旋轉, 患者 and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2277-2292	例 Physical and Pulley 有目的 Physical and Physical entity, entity and entity 例 Physical and Pulley 等於 Physical and Physical 例 entity and Drivebelt 例 entity and 旋轉例 entity and 旋轉連接的工程組件 Physical and entity 連接的工程組件 Physical and entity 患者 entity and Physical 患者 entity and Physical 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1096-1098	例 Object and 轉子能力旋轉, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 907-912	例 Entity and 軸 Process 例 Process and 旋轉患者 Process and Entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: