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



KB Term:  Term intersection
English Word: 

Sigma KEE - HostageTaking
HostageTaking(hostage taking)

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


(subclass HostageTaking UnilateralGetting) Mid-level-ontology.kif 24210-24210 Hostage taking is a subclass of unilateral getting
(documentation HostageTaking EnglishLanguage "An event in which one agent keeps another against his or her will, in order to force it or a third agent to accede to some demand. The hostages are typically kept in the place where they are first taken hostage, in contrast to a Kidnapping. Hostage taking often involves a number of people (although it may be just one), again, in contrast to a Kidnapping.") Mid-level-ontology.kif 24211-24216 Hostage taking is a subclass of unilateral getting
(externalImage HostageTaking "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Hostage_exercise.jpeg") pictureList.kif 8526-8526 Hostage taking is a subclass of unilateral getting

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


(termFormat EnglishLanguage HostageTaking "hostage taking") domainEnglishFormat.kif 28631-28631
(termFormat ChineseTraditionalLanguage HostageTaking "劫持人質") domainEnglishFormat.kif 28632-28632
(termFormat ChineseLanguage HostageTaking "劫持人质") domainEnglishFormat.kif 28633-28633

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


(=>
    (instance ?X HostageTaking)
    (exists (?A)
        (and
            (instance ?A SentientAgent)
            (patient ?X ?A))))
Mid-level-ontology.kif 24218-24223 If X is an instance of hostage taking, then there exists Y such that Y is an instance of sentient agent and Y is a patient of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners