Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Kidnapping(kidnapping)
|  | abduction, capture, kidnapping, seizure, snatch |
| appearance as argument number 1 |
|
|
| (subclass Kidnapping Robbing) | Mid-level-ontology.kif 24235-24235 | Kidnapping is a subclass of robbing |
| (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 24236-24241 | Kidnapping is a subclass of robbing |
| (externalImage Kidnapping "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Hostage_exercise.jpeg") | pictureList.kif 2695-2695 | Kidnapping is a subclass of robbing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3)) |
Mid-level-ontology.kif 24243-24249 | If X is an instance of kidnapping, Y is an instance of group of people, Z is a member count of Y, and Y is a patient of X, then Z 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 24251-24266 | If X is an instance of kidnapping, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of sentient agent (3) Z is an instance of geographic area (4) W is an instance of geographic area (5) equal Z (6) W (7) Y is located at Z holds during immediately before the time of existence of X (8) Y is located at W holds during the time of existence of X |
|