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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Killing
Killing

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 "这是 Destruction 的 subclass，它发生在当由一个 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 11405-11407
(subclass Killing Destruction) Merge.kif 11404-11404 subclass Killing and Destruction

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


(subclass Execution Killing) Mid-level-ontology.kif 16002-16002 subclass Execution and Killing
(subclass Lynching Killing) Mid-level-ontology.kif 19888-19888 subclass Lynching and Killing
(subclass Murder Killing) Mid-level-ontology.kif 16158-16158 subclass Murder and Killing
(subclass Poaching Killing) Geography.kif 2739-2739 subclass Poaching and Killing
(subclass Starving Killing) Mid-level-ontology.kif 16202-16202 subclass Starving and Killing
(subclass Suffocating Killing) Mid-level-ontology.kif 16169-16169 subclass Suffocating and Killing
(subclass Suicide Killing) Mid-level-ontology.kif 16020-16020 subclass Suicide and Killing
(subclass SuicideBombing Killing) Mid-level-ontology.kif 19946-19946 subclass SuicideBombing and Killing
(subclass UdhiyahRitual Killing) ArabicCulture.kif 230-230 subclass UdhiyahRitual and Killing
(termFormat ChineseLanguage Killing "杀害") chinese_format.kif 1162-1162
(termFormat EnglishLanguage Killing "killing") english_format.kif 1546-1546

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


(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))		 Merge.kif 11409-11416
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))		 Merge.kif 11426-11434
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))		 Merge.kif 11418-11424

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 1798-1813
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))		 Merge.kif 11944-11954
(=>
    (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 1183-1190
(=>
    (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 2687-2697


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