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



KB Term:  Term intersection
English Word: 

  programRunning

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