Damaging - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12271-12271	不相交的 Damaging and Repairing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12272-12274
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12270-12270	子類 Damaging and InternalChange

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12498-12498	子類 Breaking and Damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12276-12276	子類 Destruction and Damaging
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2715-2715	子類森林破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10427-10427	子類 Injuring and Damaging
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 220-220	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1160-1160
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	french_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 370-370
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 373-373
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2522-2522
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 859-859
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30079-30087	例 Process and Damaging 例 Entity and Device 患者 Process and Entity 持有期間眼前的未來何時 Process and attribute Entity and DeviceDamaged
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.	WMD.kif 180-185	例 Process and Damaging 儀器 Process and Object 例 Object and BiologicallyActiveSubstance 例 Object and 毒素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10454	例 Process and Damaging 例 Entity and Organism 患者 Process and Entity 例 Process and Injuring
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	軍車是對於 PositiveInteger 的 weapon 攜帶容量 Weapon 例 Object and Weapon 能力 Process, CaseRole and Object 子類 Process and Shooting 子類 Process and Damaging 能力 Process, CaseRole and 軍車

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30296-30310	方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13409-13418	例 Process and 攻擊 agent Process and AutonomousAgent 患者 Process and Entity 有代理人的目的 Process, entity 例 entity and Damaging 患者 entity and Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	例 Process and 流血的體驗者 Process and AutonomousAgent Object Process 例 Object and 靜脈例 Object and 動脈部分 Object and AutonomousAgent 例 Process and Damaging 早期何時 Process and 何時 Process 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13431-13440	例 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 618-630	例 Process and 精確破壞患者 Process and Entity 有目的 Process and entity entity 例 entity and Damaging 子過程 entity and Process 患者 entity and entity 等於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Damaging 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent Process 例 Process and Damaging 體驗者 Process and AutonomousAgent 原因 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12229-12237	例 Process and Repairing 患者 Process and Entity Process 例 Process and Damaging 患者 Process and Entity 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11005-11015	例 Process and Sunburn 體驗者 Process and AutonomousAgent Process ProcessKIN 例 Process and Damaging 儀器 Process and 太陽例 ProcessKIN and 皮膚部分 ProcessKIN and AutonomousAgent 患者 Process and ProcessKIN
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	例 Object and 高精度武器儀器 Process and Object 患者 Process and Entity 有目的 Object and entity entity 例 entity and Damaging 子過程 entity and Process 患者 entity and entity 等於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	例 Object and CarAlarm 例 Object and 自供電公路車輛部分 Object and Object entity entity, entity and entity 有目的 Object and 例 entity and 偷竊行為例 entity and Damaging 例 entity and Human agent entity and entity 患者 entity and Object 等於何時 entity and entity entity 是 partly located 在 entity entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 有目的 entity and 增加可能性 entity 例 entity and Human 持有期間 entity and 方位 entity, entity and 近 and 知道 entity and entity 例 entity and 偷竊行為例 entity and Damaging entity 是 partly located 在 entity 持有期間 entity and 患者 entity and Object 飾面何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29445-29456	attribute Object and DeviceDamaged ObjectAM 例 ObjectAM and Damaging 患者 ObjectAM and Object Process 例 Process and Repairing 患者 Process and Object 早期何時 ObjectAM and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29417-29429	attribute Object and DeviceNormal ObjectAM 例 ObjectAM and Damaging 患者 ObjectAM and Object Process 例 Process and Repairing 患者 Process and Object 早期何時 ObjectAM and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	hazardous Physical and Object 模態屬性 entity 例 entity and Damaging 患者 entity and Object Physical 是事件 entity 的 involved 原因 Physical and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	持有期間 TimePosition and attribute CognitiveAgent and Antivaxxer 相信 CognitiveAgent and entity entity 例 entity and Vaccination 例 entity and Damaging 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30194-30202	持有期間 TimeInterval and attribute Entity and Undamaged Process 例 Process and Damaging 患者 Process and Entity 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	例 Physical and 發泡劑有目的 Physical and entity entity 例 entity and Damaging 例 entity and Tissue 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	例 Physical and 生化攻擊有目的 Physical and entity entity 例 entity and Damaging 患者 entity and entity 原因 Physical and entity 例 entity and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17846-17854	例 Physical and 爆炸裝置有目的 Physical and entity entity 例 entity and 爆炸儀器 entity and Physical 原因 entity and entity 例 entity and Damaging
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15843-15845	例 Object and 爆炸能力 Damaging, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10440-10447	例 Process and Injuring 例 Process and Damaging Entity 例 Entity and Organism 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	例 Physical and 空襲導彈有目的 Physical and entity entity and entity 儀器 entity and Physical 患者 entity and entity 例 entity and Damaging 例 entity and 大氣地區持有期間開始何時 entity and 位於 Physical and entity 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1108-1121	例 Physical and 束騎導彈有目的 Physical and entity entity, entity and entity 例 entity and Damaging 儀器 entity and Physical 患者 entity and entity 例 entity and Radiating 儀器 entity and entity 例 entity and 雷達例 entity and 燈具患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	例 Physical and 地面攻擊導彈有目的 Physical and entity entity and entity 儀器 entity and Physical 患者 entity and entity 例 entity and Damaging 例 entity and GeographicArea 持有期間開始何時 entity and 位於 Physical and entity 位於 entity and entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: