Kidnapping - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Kidnapping

Kidnapping(kidnapping)

abduction, capture, kidnapping, seizure, snatch

appearance as argument number 1

(documentation Kidnapping 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 kidnapped party is normally removed from the location where first attacked. In contrast to a HostageTaking, a kidnapping normally involves an attack on one, or a very small number of people, such as a couple.")	Mid-level-ontology.kif 22228-22233
(externalImage Kidnapping "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Hostage_exercise.jpeg")	pictureList.kif 2696-2696
(subclass Kidnapping Robbing)	Mid-level-ontology.kif 22227-22227	Kidnapping is a subclass of robbing

appearance as argument number 2

(termFormat ChineseLanguage Kidnapping "绑架")	domainEnglishFormat.kif 32543-32543
(termFormat ChineseTraditionalLanguage Kidnapping "綁架")	domainEnglishFormat.kif 32542-32542
(termFormat EnglishLanguage Kidnapping "kidnapping")	domainEnglishFormat.kif 32541-32541

antecedent

(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3))	Mid-level-ontology.kif 22235-22241	If a process is an instance of kidnapping and a collection is an instance of group of people and an integer is a member count of the collection and the collection is a patient of the process, then the integer is less than 3
(=> (instance ?X Kidnapping) (exists (?A ?LOC1 ?LOC2) (and (instance ?A SentientAgent) (instance ?LOC1 GeographicArea) (instance ?LOC2 GeographicArea) (not (equal ?LOC1 ?LOC2)) (holdsDuring (ImmediatePastFn (WhenFn ?X)) (located ?A ?LOC1)) (holdsDuring (WhenFn ?X) (located ?A ?LOC2)))))	Mid-level-ontology.kif 22243-22258	If a physical is an instance of kidnapping, then there exist an entity, another entity and a third entity such that the entity is an instance of sentient agent and the other entity is an instance of geographic area and the third entity is an instance of geographic area and the other entity is not equal to the third entity and the entity is located at the other entity holds during immediately before the time of existence of the physical and the entity is located at the third entity holds during the time of existence of the physical

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