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 23059-23064
(externalImage Kidnapping "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Hostage_exercise.jpeg")	pictureList.kif 2695-2695
(subclass Kidnapping Robbing)	Mid-level-ontology.kif 23058-23058	Kidnapping is a subclass of robbing

appearance as argument number 2

(termFormat ChineseLanguage Kidnapping "绑架")	domainEnglishFormat.kif 32537-32537
(termFormat ChineseTraditionalLanguage Kidnapping "綁架")	domainEnglishFormat.kif 32536-32536
(termFormat EnglishLanguage Kidnapping "kidnapping")	domainEnglishFormat.kif 32535-32535

antecedent

(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3))	Mid-level-ontology.kif 23066-23072	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 23074-23089	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