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 12427-12429 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12426-12426 | 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 19828-19828 | Execution is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19644-19644 | Harvesting is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23682-23682 | Lynching is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20015-20015 | Murder is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2788-2788 | Poaching is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20061-20061 | Starving is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20026-20026 | Suffocating is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19846-19846 | Suicide is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23735-23735 | Suicide bombing is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 243-243 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1162-1162 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1541-1541 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 840-840 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 372-372 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 375-375 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2524-2524 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 792-792 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 377-377 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 411-411 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 670-670 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 861-861 | Udhiyah ritual is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 376-376 | Udhiyah ritual is a subclass of killing |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12431-12438 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12448-12456 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12440-12446 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1634-1653 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13049-13059 |
|
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 1013-1015 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1264-1272 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12458-12460 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12462-12464 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6307-6315 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2689-2699 |
|
![]() |
![]() |