TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17441-17442
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6831-6831
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.	pictureList.kif 7771-7771
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17440-17440	子類旋轉 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17481-17481	子類離心運動 and 旋轉
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17497-17497	子類向心運動 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 17457-17457	子類震 and 旋轉
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50486-50486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50485-50485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50484-50484

appearance as argument number 3

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

Cars.kif 2109-2109

域 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 4935-4950	例 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 17444-17455	例 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.	Cars.kif 2120-2139	例 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 1647-1668	例 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 2936-2954	例 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 2736-2750	例 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 4309-4322	例 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 6000-6011	例 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.	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 17467-17479	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.	Cars.kif 2352-2386	例 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 1645-1651	例 Physical and Cam 有目的 Physical and entity 例 entity and 旋轉患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1658-1664	例 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 17486-17495	例 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 17501-17510	例 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 2280-2292	例 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 2331-2343	例 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 4198-4206	例 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 2221-2236	例 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 2245-2253	例 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 4596-4612	例 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 15275-15283	例 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 2299-2314	例 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 783-785	例 Object and 轉子能力旋轉, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4027-4036	例 Physical and Tachometer 有目的 Physical and entity entity and entity 例 entity and 旋轉患者 entity and entity 例 entity and Measuring 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4619-4651	例 Physical and TwoWheelDriveVehicle 有目的 Physical and entity entity 部分 entity and Physical 部分 entity and Physical 等於 entity and entity entity 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 患者 entity and entity 原因 entity and entity entity entity 等於 entity and entity 等於 entity and entity 部分 entity and Physical 例 entity and 旋轉患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4158-4166	例 Physical and Wrench 有目的 Physical and entity entity 例 entity and 旋轉例 entity and 附著裝置患者 entity and entity 儀器 entity and Physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show without tree

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: