Damaging - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12406-12406	不相交的 Damaging and Repairing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154	不相交的 Damaging and Repairing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12407-12409	不相交的 Damaging and Repairing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12405	子類 Damaging and InternalChange

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12637-12637	子類 Breaking and Damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12411-12411	子類 Destruction and Damaging
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2703-2703	子類森林破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10550-10550	子類 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	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1537-1537	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	french_format.kif 838-838	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 370-370	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 373-373	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2522-2522	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 790-790	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 375-375	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 409-409	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 668-668	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 859-859	子類破壞 and Damaging
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 374-374	子類破壞 and Damaging

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31730-31738	例 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 10572-10577	例 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 31973-31987	方式 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 13548-13557	例 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 13570-13579	例 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 1611-1629	例 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 9824-9834	例 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 12364-12372	例 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 12354-12364	例 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.	Transportation.kif 2829-2844	例 SelfConnectedObject and 船舶集裝箱測量 RealNumber and UnitOfMeasure 是 SelfConnectedObject 的 capacity 例 RealNumber and UnitOfMass 包含 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and UnitOfMeasure 是 SelfConnectedObject 的 weight 少於 RealNumber and RealNumber 模態屬性 entity 例 entity and Damaging 患者 entity and SelfConnectedObject and 容易
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4113-4124	例 Transportation and Transportation 運送的 Transportation and Object attribute Object and Attribute 例 Attribute and HazardousMaterialTransportAttribute 持有期間 Transportation and 模態屬性 entity 例 entity and Damaging 資源 entity and Object and 可能性
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 3771-3812	例 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 31123-31134	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 31095-31107	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.	Transportation.kif 4140-4147	attribute Object and HazardousGases 例 Object and Substance attribute Object and 加油站能力 Combustion, 資源 and Object 能力 Damaging, 資源 and Object 能力 Corrosion, 資源 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5946-5955	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 3824-3832	持有期間 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 31871-31879	持有期間 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 19414-19422	例 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 17250-17252	例 Object and 爆炸能力 Damaging, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10563-10570	例 Process and Injuring 例 Process and Damaging Entity 例 Entity and Organism 患者 Process 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: