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...

VerbNet: destroy-44|decimate, suffocate-40.7|suffocate, murder-42.1|assassinate, spank-18.3|brain, get-13.5.1|slaughter, destroy-44|decimate, poison-42.2|crucify, destroy-44|waste, destroy-44|decimate, destroy-44|decimate, murder-42.1|execute, destroy-44|exterminate, remove-10.1|extinguish, poison-42.2|electrocute, butter-9.9|halter, murder-42.1|kill, destroy-44|exterminate, destroy-44|waste, destroy-44|waste, berry-13.7|log, berry-13.7|log, orphan-29.7|martyr, orphan-29.7|martyr, orphan-29.7|martyr, murder-42.1|slaughter, murder-42.1|slaughter, destroy-44|waste, destroy-44|waste, get-13.5.1|slaughter, remove-10.1|extinguish, suffocate-40.7|suffocate, suffocate-40.7|suffocate, destroy-44|waste, destroy-44|decimate,


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


(documentation Killing ChineseLanguage "这是 Destructionsubclass,它发生在当由一个 Organism 导致一个 Organism 死亡时。注:两个 Organism 在自杀个案会是相同。") chinese_format.kif 3157-3158
(documentation Killing EnglishLanguage "The subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both cases.") Merge.kif 11304-11306
(subclass Killing Destruction) Merge.kif 11303-11303 Killing is a subclass of destruction

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


(subclass Execution Killing) Mid-level-ontology.kif 15949-15949 Execution is a subclass of killing
(subclass Lynching Killing) Mid-level-ontology.kif 19824-19824 Lynching is a subclass of killing
(subclass Murder Killing) Mid-level-ontology.kif 16105-16105 Murder is a subclass of killing
(subclass Poaching Killing) Geography.kif 2739-2739 Poaching is a subclass of killing
(subclass Starving Killing) Mid-level-ontology.kif 16149-16149 Starving is a subclass of killing
(subclass Suffocating Killing) Mid-level-ontology.kif 16116-16116 Suffocating is a subclass of killing
(subclass Suicide Killing) Mid-level-ontology.kif 15967-15967 Suicide is a subclass of killing
(subclass SuicideBombing Killing) Mid-level-ontology.kif 19882-19882 Suicide bombing is a subclass of killing
(subclass UdhiyahRitual Killing) ArabicCulture.kif 230-230 Udhiyah ritual is a subclass of killing
(termFormat ChineseLanguage Killing "杀害") chinese_format.kif 1162-1162 "杀害" is the printable form of killing in ChineseLanguage
(termFormat EnglishLanguage Killing "killing") english_format.kif 1546-1546 "killing" is the printable form of killing in english language

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


(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 11308-11315
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))
Merge.kif 11325-11333
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 11317-11323

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


(=>
    (and
        (instance ?GUN Gun)
        (effectiveRange ?GUN ?LM)
        (distance ?GUN ?O ?LM1)
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (capability
        (KappaFn ?KILLING
            (and
                (instance ?KILLING Killing)
                (patient ?KILLING ?O))) instrument ?GUN))
Mid-level-ontology.kif 1792-1807
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))
Merge.kif 11843-11853
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 50-72
(=>
    (instance ?AGENT LifeThreateningAgent)
    (capability Killing instrument ?AGENT))
WMD.kif 968-970
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (capability
        (KappaFn ?KILL
            (and
                (instance ?KILL Killing)
                (patient ?KILL ?BACTERIUM)
                (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))
WMD.kif 1177-1184
(=>
    (instance ?T Toothbrush)
    (hasPurpose ?T
        (exists (?K)
            (and
                (instance ?TOOTH Tooth)
                (instrument ?K ?T)
                (instance ?K Killing)
                (instance ?B Bacterium)
                (patient ?K ?B)
                (patient ?K ?TOOTH)))))
Mid-level-ontology.kif 2681-2691


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners