No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	例 Object and Faucet 例 Process and 液體運動 患者 Process and Entity 位於 Process and Object 持有期間 眼前的未來 何時 Process and entity 例 entity and 管 包含 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10633-10644	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於 何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	例 Process and Forgetting 體驗者 Process and AutonomousAgent entity 持有期間 眼前的未來 何時 Process and 知道 AutonomousAgent and entity 持有期間 不久的過去 何時 Process and 知道 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1943-1955	例 Process and 外國內部防禦 agent Process and 軍事組織 GeopoliticalArea 是 軍事組織 的 military 區域 AutonomousAgent Process 體驗者 Process and AutonomousAgent 例 AutonomousAgent and 主辦國 等於 AutonomousAgent and GeopoliticalArea 例 Process and Maintaining agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	例 Object and 絕對過濾器 例 Process and Removing 起源 Process and Object 例 Object and 混合氣體 患者 Process and Object attribute Object and 固體 儀器 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10762-10770	例 Process and TerminatingEmployment 例 AutonomousAgent and Organization agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 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 643-661	例 Process and FlashingLight 起源 Process and Object Process TimeInterval and Process 例 Process and RadiatingLight 例 TimeInterval and TimeInterval 例 Process and RadiatingLight 短暫相遇 何時 Process and TimeInterval 短暫相遇 TimeInterval and 何時 Process TimeInterval 例 TimeInterval and RadiatingLight 起源 TimeInterval and Object 期間 何時 TimeInterval and TimeInterval 子過程 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18248-18254	例 Process and 可怕的 體驗者 Process and AutonomousAgent 持有期間 開始 何時 Process and attribute AutonomousAgent and 焦慮 持有期間 結束 何時 Process and attribute AutonomousAgent and 焦慮
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	例 Process and Gaslighting agent Process and AutonomousAgent AutonomousAgent suffers 從 Process Process 例 Process and Perception 體驗者 Process and AutonomousAgent 知道 AutonomousAgent and 結果 Process and entity 是 AutonomousAgent suffers 從 Process 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	例 EngineeringComponent and SpeedGovernor governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 連接的工程組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and RealNumberP2 測量 EngineeringComponent and 測量 RealNumberP2 and MilesPerHour 比較多 RealNumberP2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11531-11538	例 Process and 抓 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 掌握 AutonomousAgent and Entity 持有期間 結束 何時 Process and 掌握 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5726-5737	例 Graph and GraphPath 例 GraphArc and GraphArc 圖形部分 GraphArc and Graph 等於 初始節點 GraphArc and GraphNode GraphArc 等於 初始節點 GraphArc and GraphNode 等於 GraphArc and GraphArc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5739-5750	例 Graph and GraphPath 例 GraphArc and GraphArc 圖形部分 GraphArc and Graph 等於 終端節點 GraphArc and GraphNode GraphArc 等於 終端節點 GraphArc and GraphNode 等於 GraphArc and GraphArc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12708-12721	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 足 例 Object and 足 等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12681-12694	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 腿 例 Object and 腿 等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11210	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 肺 例 Object and 肺 等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	例 Physical and HeartAttack 例 Object and 心 位於 Physical and Object Object 例 Object and Muscle 部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	例 Physical and Stroke 例 Object and 腦 位於 Physical and Object Object 例 Object and 神經細胞 部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1419-1431	例 Process and 幫助 agent Process and AutonomousAgent 結果 Process and Physical CognitiveAgent 等於 AutonomousAgent and CognitiveAgent 患者 Process and CognitiveAgent 體驗者 Process and CognitiveAgent 想要 CognitiveAgent and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10746-10754	例 Process and Hiring 例 AutonomousAgent and Organization agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 採用 AutonomousAgent and Entity 持有期間 結束 何時 Process and 採用 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9961-9969	例 Object and HoleRegion 適當的部分 Object and Object Object 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	例 可穿戴物品 and 聽力保護 例 Animal and Human 穿 Animal and 可穿戴物品 有目的 可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17351-17367	例 Process and 移民 agent Process and AutonomousAgent GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and Nation 例 GeopoliticalArea and Nation 起源 Process and GeopoliticalArea 目的地 Process and GeopoliticalArea 等於 GeopoliticalArea and GeopoliticalArea 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 有目的 Process and 棲息 AutonomousAgent and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9773-9794	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間 何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期 何時 Process2 and 何時 Transfer 模態屬性 持有期間 Process2 and attribute AutonomousAgent and ProcessS and 較不可能
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11446-11453	例 Process and 插入 患者 Process and Entity 目的地 Process and Entity 持有期間 開始 何時 Process and 包含 Entity and Entity 持有期間 結束 何時 Process and 包含 Entity and Entity
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