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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12158-12164	例 Process and Counting agent Process and CognitiveAgent 患者 Process and Entity entity 知道 CognitiveAgent and 等於 基數 Entity and entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2597-2607	例 TimeInterval and CoveringGUIElement agent TimeInterval and entity_TOP 患者 TimeInterval and entity_BOTTOM 例 entity_TOP and GUIElement 例 entity_BOTTOM and GUIElement 持有期間 結束 TimeInterval and entity_BOTTOM 是由 entity_TOP covered entity_BOTTOM 是由 entity_TOP partially covered
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2609-2617	例 TimeInterval and PartiallyCoveringGraphicalWindow agent TimeInterval and entity_TOP 患者 TimeInterval and entity_BOTTOM 例 entity_TOP and GUIElement 例 entity_BOTTOM and GUIElement 持有期間 結束 TimeInterval and entity_BOTTOM 是由 entity_TOP partially covered
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4123-4135	例 Process and ChangingAccountInfo agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 accountInformation 用戶帳號 and Proposition 持有期間 眼前的未來 何時 Process and entity 等於 entity and Proposition accountInformation 用戶帳號 and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4079-4092	例 Process and ChangingPassword agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 用戶帳號 有 password 電腦密碼 持有期間 眼前的未來 何時 Process and entity 例 entity and 電腦密碼 等於 entity and 電腦密碼 用戶帳號 有 password entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4101-4114	例 Process and ChangingUserName agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 用戶帳號 的 user name 是 用戶名 持有期間 眼前的未來 何時 Process and entity 例 entity and 用戶名 等於 entity and 用戶名 用戶帳號 的 user name 是 entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4143-4153	例 Process and CreatingAnAccount agent Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and entity entity and entity AutonomousAgent 有 account entity entity 有 password entity entity 的 user name 是 entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	例 Process and Creation 結果 Process and Proposition 例 Proposition and Proposition agent Process and CognitiveAgent CognitiveAgent authored Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性 比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17170-17190	例 Process and 減速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間 開始 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 持有期間 結束 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	例 Process and DeletingAnAccount 例 Entity and Account 持有期間 不久的過去 何時 Process and AutonomousAgent 有 account Entity 患者 Process and Entity agent Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and AutonomousAgent 有 account Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 532-536	例 Process and DeliveryService agent Process and AutonomousAgent 能力 DeliveryService, agent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 552-561	例 Process and DeliveryService 目的地 Process and Entity GeographicArea 是 AutonomousAgent 的 delivery 區域 條件概率 位於 Entity and GeographicArea, agent Process and AutonomousAgent and RealNumber 條件概率 位於 Entity and GeographicArea, agent Process and AutonomousAgent and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	例 Process and 示範 agent Process and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2673-2682	例 Process and 示範 agent Process and AutonomousAgent 會員 CognitiveAgent and AutonomousAgent 會員 CognitiveAgent and AutonomousAgent Formula 相信 CognitiveAgent and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20002-20014	例 Process and 拆卸 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and 方位 AutonomousAgent, Entity and 上 持有期間 結束 何時 Process and 方位 AutonomousAgent, Entity and 上
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10024-10045	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性 比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	例 Process and 躲著 agent Process and AutonomousAgent 等於 ProcessT and 何時 Process 有目的 Process and entity 短暫相遇 ProcessT and 何時 entity 暫時重疊 ProcessT and 何時 entity 例 entity and Impacting 患者 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	例 Process and Damaging agent Process and AutonomousAgent 目的地 Process and CognitiveAgent 例 CognitiveAgent and CognitiveAgent 相信 CognitiveAgent and attribute AutonomousAgent and 危險
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12068-12084	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理 例 內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間 未來 何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12036-12048	例 Process and 決定 agent Process and CognitiveAgent 例 Set and Set 患者 Process and Set 元件 Entity and Set 相信 CognitiveAgent and entity 例 Entity and entity 子類 entity and IntentionalProcess 能力 entity, agent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13453-13462	例 Process and 防守機動 agent Process and AutonomousAgent 有代理人的目的 Process, entity 例 entity and Damaging 患者 entity and AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 601-609	例 Process and 精確破壞 agent Process and AutonomousAgent Object 擁有 AutonomousAgent and Object 儀器 Process and Object 例 Object and 高精度武器
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10311-10319	例 Process and 消化 agent Process and AutonomousAgent Process 例 Process and Ingesting agent Process and AutonomousAgent 暫時重疊 何時 Process and 何時 Process
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