Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Killing
Killing(killing)Holocaust, amok, amuck, annihilate, asphyxiate, asphyxiation, assassinate, assassination, assisted_suicide, battue, behead, beheading, bloodbath, bloodletting, bloodshed, brain, burke, butcher, butchery, carnage, carry_off, chance-medley, chine, choking, chop_down, commit_suicide, coup_de_grace, crucify, cut, deaden, death, deathblow, decapitate, decapitation, decimate, decollate, despatch, destroy, dismember, dispatch, do_in, draw, draw_and_quarter, dry-gulching, electrocute, electrocution, eliminate, elimination, eradicate, euthanasia...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3157-3158
No TPTP formula. May not be expressible in strict first order. Merge.kif 11460-11462
No TPTP formula. May not be expressible in strict first order. Merge.kif 11459-11459 Killing is a subclass of destruction

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14831-14831 Execution is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18510-18510 Lynching is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14984-14984 Murder is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2761-2761 Poaching is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15029-15029 Starving is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14995-14995 Suffocating is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14849-14849 Suicide is a subclass of killing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18563-18563 Suicide bombing is a subclass of killing
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 232-232 Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1162-1162
No TPTP formula. May not be expressible in strict first order. english_format.kif 1546-1546

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11464-11471
No TPTP formula. May not be expressible in strict first order. Merge.kif 11481-11489
No TPTP formula. May not be expressible in strict first order. Merge.kif 11473-11479

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1373
No TPTP formula. May not be expressible in strict first order. Merge.kif 11999-12009
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. WMD.kif 1001-1003
No TPTP formula. May not be expressible in strict first order. WMD.kif 1216-1223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2162-2172


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