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


s__documentation(s__Killing,s__ChineseLanguage,'"这是 Destructionsubclass,它发生在当由一个 Organism 导致一个 Organism 死亡时。注:两个 Organism 在自杀个案会是相同。"')

chinese_format.kif 3157-3158
s__documentation(s__Killing,s__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 11678-11680
s__subclass(s__Killing,s__Destruction)

s__instance(s__Killing,s__SetOrClass)

s__instance(s__Destruction,s__SetOrClass)

Merge.kif 11677-11677 Killing is a subclass of destruction

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


s__subclass(s__Execution,s__Killing)

s__instance(s__Killing,s__SetOrClass)

s__instance(s__Execution,s__SetOrClass)

Mid-level-ontology.kif 16707-16707 Execution is a subclass of killing
s__instance(s__Killing,s__SetOrClass)

s__subclass(s__Lynching,s__Killing)

s__instance(s__Lynching,s__SetOrClass)

Mid-level-ontology.kif 20545-20545 Lynching is a subclass of killing
s__instance(s__Killing,s__SetOrClass)

s__subclass(s__Murder,s__Killing)

s__instance(s__Murder,s__SetOrClass)

Mid-level-ontology.kif 16860-16860 Murder is a subclass of killing
s__subclass(s__Poaching,s__Killing)

s__instance(s__Killing,s__SetOrClass)

s__instance(s__Poaching,s__SetOrClass)

Geography.kif 2761-2761 Poaching is a subclass of killing
s__subclass(s__Starving,s__Killing)

s__instance(s__Killing,s__SetOrClass)

s__instance(s__Starving,s__SetOrClass)

Mid-level-ontology.kif 16905-16905 Starving is a subclass of killing
s__instance(s__Suffocating,s__SetOrClass)

s__instance(s__Killing,s__SetOrClass)

s__subclass(s__Suffocating,s__Killing)

Mid-level-ontology.kif 16871-16871 Suffocating is a subclass of killing
s__instance(s__Killing,s__SetOrClass)

s__instance(s__Suicide,s__SetOrClass)

s__subclass(s__Suicide,s__Killing)

Mid-level-ontology.kif 16725-16725 Suicide is a subclass of killing
s__instance(s__Killing,s__SetOrClass)

s__subclass(s__SuicideBombing,s__Killing)

s__instance(s__SuicideBombing,s__SetOrClass)

Mid-level-ontology.kif 20598-20598 Suicide bombing is a subclass of killing
s__instance(s__Killing,s__SetOrClass)

s__subclass(s__UdhiyahRitual,s__Killing)

s__instance(s__UdhiyahRitual,s__SetOrClass)

ArabicCulture.kif 232-232 Udhiyah ritual is a subclass of killing
s__termFormat(s__ChineseLanguage,s__Killing,'"杀害"')

chinese_format.kif 1162-1162
s__termFormat(s__EnglishLanguage,s__Killing,'"killing"')

english_format.kif 1546-1546

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


( ! [V__AGENT,V__KILL,V__PATIENT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__KILL,s__Killing) &
             s__agent(V__KILL,V__AGENT)
           &
           s__patient(V__KILL,V__PATIENT))
       =>
       ((s__instance(V__AGENT,s__Organism) &
           s__instance(V__PATIENT,s__Organism))))))
)
)

Merge.kif 11682-11689
( ! [V__OBJ,V__KILL] :
   ((s__instance(V__OBJ,s__Agent) =>
       (((s__instance(V__KILL,s__Killing) &
             s__patient(V__KILL,V__OBJ))
         =>
         (( ? [V__DEATH] :
             ((s__instance(V__DEATH,s__Death) &
                 s__experiencer(V__DEATH,V__OBJ)
               &
               s__causes(V__KILL,V__DEATH))))))))
)
)

Merge.kif 11699-11707
No TPTP formula. May not be expressible in strict first order. Merge.kif 11691-11697

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 12258-12268
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__AgricultureForestryFishingAndHunting))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Agent) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__EV,V__MEM)
             &
             ( ? [V__THING, V__EV2, V__MEM2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Killing) |
                       s__instance(V__EV,s__Maintaining))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Animal) |
                     s__instance(V__THING,s__Plant))
                   &
                   ~(s__instance(V__THING,s__Human))
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 50-72
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__LifeThreateningAgent) =>
       (s__capability(s__Killing,s__instrument__m,V__AGENT)))
   )
)

WMD.kif 1001-1003
No TPTP formula. May not be expressible in strict first order. WMD.kif 1250-1257
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