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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Killing

Sigma KEE - Killing
Killing(杀害)

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


(documentation Killing ChineseLanguage "这是 Destructionsubclass,它发生在当由一个 Organism 导致一个 Organism 死亡时。注:两个 Organism 在自杀个案会是相同。") Merge.kif 12233-12234
(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 12230-12232
(subclass Killing Destruction) Merge.kif 12229-12229 杀害摧毁subclass

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


(subclass Execution Killing) Mid-level-ontology.kif 15949-15949 Execution杀害subclass
(subclass Lynching Killing) Mid-level-ontology.kif 19823-19823 Lynching杀害subclass
(subclass Murder Killing) Mid-level-ontology.kif 16028-16028 Murder杀害subclass
(subclass Poaching Killing) Geography.kif 2727-2727 Poaching杀害subclass
(subclass Starving Killing) Mid-level-ontology.kif 16070-16070 Starving杀害subclass
(subclass Suffocating Killing) Mid-level-ontology.kif 16039-16039 Suffocating杀害subclass
(subclass Suicide Killing) Mid-level-ontology.kif 15967-15967 Suicide杀害subclass
(subclass SuicideBombing Killing) Mid-level-ontology.kif 19881-19881 SuicideBombing杀害subclass
(subclass UdhiyahRitual Killing) ArabicCulture.kif 230-230 UdhiyahRitual杀害subclass
(termFormat ChineseLanguage Killing "杀害") chinese_format.kif 1162-1162 termFormat ChineseLanguage, 杀害 and "杀害"
(termFormat EnglishLanguage Killing "killing") english_format.kif 1563-1563 termFormat EnglishLanguage, 杀害 and "killing"
(termFormat JapaneseLanguage Killing "殺害") english_format.kif 1564-1564 termFormat JapaneseLanguage, 杀害 and "殺害"

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


(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 12236-12243
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))
Merge.kif 12253-12261
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 12245-12251

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 1797-1812
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))
Merge.kif 12837-12847
(=>
    (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 959-961
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (capability
        (KappaFn ?KILL
            (and
                (instance ?KILL Killing)
                (patient ?KILL ?BACTERIUM)
                (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))
WMD.kif 1168-1174
(=>
    (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 2686-2696


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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