No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23778	例 Process and 引起幸福 患者 Process and Entity 持有期間 開始 何時 Process and attribute Entity and 幸福 持有期間 結束 何時 Process and attribute Entity and 幸福
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23788-23799	例 Process and 導致不快樂 患者 Process and Entity 持有期間 開始 何時 Process and attribute Entity and 不幸 持有期間 結束 何時 Process and attribute Entity and 不幸
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體 包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體 空間的符合 entity and SelfConnectedObjectP 持有期間 何時 Physical and entity attribute entity and 液體 空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	例 Process and CheckingVitals agent Process and CognitiveAgent 患者 Process and Object 例 心 and 心 部分 心 and Object 例 肺 and 肺 部分 肺 and Object 持有期間 何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer 知道 CognitiveAgent and 持有期間 何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	例 Process and Chills 體驗者 Process and AutonomousAgent 持有期間 何時 Process and attribute AutonomousAgent and FeelingCold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	例 Process and Choking 體驗者 Process and AutonomousAgent Entity Object and Object 例 Entity and Object 例 Object and Trachea 例 Object and 肺 部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 持有期間 何時 Process and 位於 Entity and Object 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	例 Process and ChurningButter 例 Entity and 乳膠 患者 Process and Entity entity entity 持有期間 開始 何時 Process and 等於 Entity and entity 例 entity and 奶 持有期間 結束 何時 Process and 等於 Entity and entity 例 entity and 奶油
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	例 電腦程序 and ComputerBackingUp 數字數據 是由 電腦程序 processed 例 數字數據 and 數字數據 agent 電腦程序 and CognitiveAgent 慾望 CognitiveAgent and entity 早期 何時 電腦程序 and entity 持有期間 entity and entity 例 entity and 電腦程序 能力 entity, 數據已處理 and 數字數據
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22347-22355	例 Collection and 護航 會員 Physical and Collection Process 例 Process and Driving 暫時重疊 何時 Process and 何時 Collection 患者 Process and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺 例 entity and 喉 例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間 不久的過去 何時 Process and 位於 entity and entity 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29746-29753	例 Process and Covering 患者 Process and Entity 儀器 Process and Object 持有期間 眼前的未來 何時 Process and covers Object and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間 不久的過去 何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間 眼前的未來 何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	例 Process and Cricothyroidotomy 患者 Process and Entity 持有期間 結束 何時 Process and entity 例 entity and HoleRegion 等於 entity and 洞主持人 entity 例 entity and 喉 部分 entity and Entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1141-1147	例 Process and Crying 體驗者 Process and AutonomousAgent 持有期間 何時 Process and attribute AutonomousAgent and Sadness
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	例 Process and CurdlingMilk 例 Physical and 奶 患者 Process and Physical RealNumber Process, entity and entity 測量 Physical and 測量 RealNumber and 酸鹼度 例 Process and Decreasing 子過程 Process and Process 患者 Process and RealNumber 持有期間 開始 何時 Process, 等於 RealNumber and entity and approximateValue entity and 6.5 持有期間 結束 何時 Process, 等於 RealNumber and entity and approximateValue entity and 4.5
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	例 Process and Sneezing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entityOSE and entity 例 entity and NasalCavity 例 entityOSE and 鼻子 等於 entityOSE and 洞主持人 entity 例 entity and Object 例 entity and Removing 部分 entityOSE and AutonomousAgent objectTransferred entity and entity 持有期間 不久的過去 何時 Process and 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17111-17116	例 Process and 捕 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 結束 何時 Process and 掌握 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11678-11688	例 Process and ChangeOfPossession 起源 Process and Object 目的地 Process and Entity 例 Object and AutonomousAgent 例 Entity and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 擁有 Object and Entity 持有期間 結束 何時 Process and 擁有 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12621-12632	例 Process and InternalChange 患者 Process and Entity entity 持有期間 開始 何時 Process and attribute Entity and entity 持有期間 結束 何時 Process and attribute Entity and entity 持有期間 開始 何時 Process and attribute Entity and entity 持有期間 結束 何時 Process and attribute Entity and entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2196-2203	例 Process and CheckInService 原因 Process and Process 例 Physical and CheckOutService 飾面 何時 Physical and 何時 Process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2438-2445	例 Process and ClosingGraphicalWindow 患者 Process and Physical 例 Physical and InterfaceWindow 時間 Physical and 開始 何時 Physical 時間 Physical and 結束 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	例 Process and Coloring 患者 Process and Object Entity Object 部分 Object and Object 例 Entity and ColorAttribute 持有期間 開始 何時 Process and attribute Object and Entity 持有期間 結束 何時 Process and attribute Object and Entity 持有期間 開始 何時 Process and attribute Object and Entity 持有期間 結束 何時 Process and attribute Object and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1836-1842	例 Process and 語言交流 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Sentence 持有期間 何時 Process and AutonomousAgent states Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14001-14009	例 Process and Condensing 患者 Process and Object Object 部分 Object and Object 持有期間 開始 何時 Process and attribute Object and 加油站 持有期間 結束 何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Media.kif 1867-1871	例 Process and MusicalConducting agent Process and AutonomousAgent 持有期間 何時 Process and attribute AutonomousAgent and MusicalConductor
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