No TPTP formula. May not be expressible in strict first order.	Cars.kif 3216-3226	例 Object and IgnitionCoil 例 Process and ElectricTransmission 資源 Process and Object 例 Object and 電力 例 Entity and 電力 結果 Process and Entity 儀器 Process and Object 測量 Object and 測量 RealNumber and 伏特 approximateValue RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4090-4102	例 Object and InvasiveVentilator 例 Process and Breathing 體驗者 Process and AutonomousAgent 儀器 Process and Object Process 例 Process and Intubation 目的地 Process and AutonomousAgent 早期 何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1050-1057	例 Object and Laser 例 Process and 輻射可見光 儀器 Process and Object 患者 Process and Object 例 Object and Region Object 是 單色 的 color
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.	Merge.kif 1413-1420	例 Object and AnimalLanguage agent Process and AutonomousAgent 儀器 Process and Object 例 AutonomousAgent and Animal 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1432-1437	例 Object and ComputerLanguage agent Process and AutonomousAgent 儀器 Process and Object 例 AutonomousAgent and Machine
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1446-1451	例 Object and HumanLanguage agent Process and AutonomousAgent 儀器 Process and Object 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2166-2174	例 Object and AirEngineCoolingSystem 例 Transfer and Cooling 儀器 Transfer and Object Object 例 Object and 空氣 objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2150-2158	例 Object and LiquidEngineCoolingSystem 例 Transfer and Cooling 儀器 Transfer and Object Object attribute Object and 液體 objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1248-1257	例 Process and Measuring 儀器 Process and Object agent Process and CognitiveAgent 患者 Process and Entity 例 Object and PulseOximeter entity 知道 CognitiveAgent and oxygenSaturation Entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1577-1585	例 Process and Measuring 儀器 Process and Object 例 Object and RTPCRTest Process 例 Process and RadiatingLight 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3355-3361	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 時鐘 例 Entity and TimeMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3391-3397	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計 例 Entity and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11759	例 Object and Muscle 例 Process and BodyMotion 儀器 Process and Object 例 Process and IntentionalProcess 例 Object and VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	例 Process and Measuring 患者 Process and Physical 結果 Process and LengthMeasure 儀器 Process and Object 例 Object and 絕對高度計 Physical 高度 Physical, Physical and LengthMeasure 表面 Physical and 行星地球
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1477-1484	例 Process and Measuring 患者 Process and Physical 結果 Process and LengthMeasure 儀器 Process and Object 例 Object and 氣壓高度計 高度 Physical, 海平面 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1488-1496	例 Process and Measuring 患者 Process and SelfConnectedObject 表面 SelfConnectedObject and 行星地球 結果 Process and LengthMeasure 儀器 Process and Object 例 Object and 氣壓高度計 LengthMeasure 是 SelfConnectedObject 的 elevation
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1426-1432	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 高度表 例 Entity and 高度測量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3379-3385	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計 例 Entity and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	例 EngineeringComponent and CableModem 例 Process and Communication 儀器 Process and EngineeringComponent EngineeringComponent 例 EngineeringComponent and Cable 儀器 Process and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛 部分 Object and Object 例 Motion and 易位 儀器 Motion and Object 路徑 Motion and 公交專用道 公交專用道 的 distance 是 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數 在列表中 RealNumber and entity 持有期間 何時 結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 568-574	例 Process and ThreeDPrinting 例 Object and Metal 資源 Process and Object 儀器 Process and Object 例 Object and Metallic3DPrinter
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 580-586	例 Process and ThreeDPrinting 例 Object and 塑料 資源 Process and Object 儀器 Process and Object 例 Object and PlasticPrinter
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 天然氣
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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