No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5502-5517	例 Process and 調味料 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Clothing 持有期間 開始 何時 Process and 穿 AutonomousAgent and Entity 持有期間 結束 何時 Process and 穿 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18098-18105	例 Process and 鑽孔 患者 Process and Entity entity 持有期間 開始 何時 Process and hole entity and Entity 持有期間 結束 何時 Process and hole entity and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨 例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14379-14385	例 DataStorageDevice and DataStorageDevice attribute DataStorageDevice and Blank ContentBearingObject ContentBearingObject 是 stored 在 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1398-1407	例 Entity and 絕對的啞彈 例 Process and 起飛 患者 Process and Entity Process 例 Process and 爆炸 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	例 Process and 塵暴 例 Process and 風 子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位 是 Object 的 surface 風速 比較多 RealNumber and 30.0 例 Transfer and 易位 子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂 例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油 例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油 包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	例 Process and EngineCycle 例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間 何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	例 Process and EngineCycle 例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間 何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	例 Process and EngineCycle 例 發動機 and 內燃機 例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機 患者 Process and Object Process 是 located 在 發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	例 Process and 滲出 agent Process and AutonomousAgent Process Entity 例 Process and Pretending agent Process and AutonomousAgent 患者 Process and Entity 有目的 Process and 相信 Entity and Process 等於 Process and Process
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 2963-2979	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛 連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位 持有期間 何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	例 Object and Electrocardiogram attribute Object and EKGNormal 參照 Object and Object 部分 Object and Object 例 Object and 心 模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	Government.kif 1882-1892	例 選舉 and 民眾選舉 選舉 是 對於 AutonomousAgent 的 election 贏家 SocialRole 選舉 是 對於 AutonomousAgent 和 RealNumber 的 vote 收到部分 SocialRole AutonomousAgent RealNumber 選舉 是 對於 AutonomousAgent 和 RealNumber 的 vote 收到部分 SocialRole 等於 AutonomousAgent and AutonomousAgent 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3913-3929	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁 儀器 entity and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3897-3902	例 試驗 and 試驗 control 在實驗 試驗 是 Process Process 在 試驗 的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3889-3894	例 試驗 and 試驗 Process 在 試驗 的 process control 在實驗 試驗 是 Process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	例 Process and 出口 患者 Process and Entity 例 Entity and GeopoliticalArea 持有期間 開始 何時 Process and 位於 Entity and Entity 持有期間 結束 何時 Process and 位於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	例 Process and 出口 患者 Process and Entity 例 GeopoliticalArea and GeopoliticalArea 持有期間 開始 何時 Process and 位於 Entity and GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea 持有期間 結束 何時 Process and 位於 Entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2456-2466	例 Process and 出口 患者 Process and Entity 例 Object and GeopoliticalArea 例 Physical and GeopoliticalArea 持有期間 開始 何時 Process and 位於 Entity and Object 持有期間 結束 何時 Process and 位於 Entity and Physical 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2468-2476	例 Process and 出口 患者 Process and Entity 例 Object and GeopoliticalArea 起源 Process and Object 例 Entity and GeopoliticalArea 目的地 Process and Entity 等於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2478-2486	例 Process and 出口 患者 Process and Entity 例 Object and GeopoliticalArea 起源 Process and Object 例 Physical and GeopoliticalArea 目的地 Process and Physical 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4517-4532	例 Process and FailureFn IntentionalProcess agent Process and CognitiveAgent 慾望 CognitiveAgent and Process 例 Process and IntentionalProcess agent Process and CognitiveAgent Process 例 Process and IntentionalProcess 期間 何時 Process and 何時 Process agent Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12900-12907	例 Object and 面對 部分 Object and SelfConnectedObject 等於 SelfConnectedObject and 背部 SelfConnectedObject 部分 Object and SelfConnectedObject
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