Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Hijacking(hijacking)
|  | buccaneering, commandeer, highjack, highjacking, hijack, hijacking, piracy, pirate |
| appearance as argument number 1 |
|
|
| (subclass Hijacking Robbing) | Mid-level-ontology.kif 24177-24177 | Hijacking is a subclass of robbing |
| (documentation Hijacking EnglishLanguage "Robbing a Vehicle and then driving or piloting it away.") | Mid-level-ontology.kif 24178-24179 | Hijacking is a subclass of robbing |
| (externalImage Hijacking "http://upload.wikimedia.org/wikipedia/en/0/08/ Gta3-pc_stealing.jpeg") | pictureList.kif 2688-2688 | Hijacking is a subclass of robbing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V)))) |
Mid-level-ontology.kif 24181-24186 | If X is an instance of hijacking, then there exists Y such that Y is an instance of vehicle and Y is a patient of X |
| (=> (instance ?H Hijacking) (exists (?D) (and (subProcess ?D ?H) (instance ?D Driving)))) |
Mid-level-ontology.kif 24188-24193 | If X is an instance of hijacking, then there exists Y such that Y is a subprocess of X and Y is an instance of driving |
| (=> (instance ?X Hijacking) (exists (?V ?A) (and (agent ?X ?A) (instance ?V TransportationDevice) (holdsDuring (ImmediatePastFn (WhenFn ?X)) (not (possesses ?A ?V))) (holdsDuring (WhenFn ?X) (possesses ?A ?V))))) |
Mid-level-ontology.kif 24195-24208 | If X is an instance of hijacking, then there exist Y, Z such that Z is an agent of X, Y is an instance of transportation device, Z doesn't possess Y holds during immediately before the time of existence of X, and Z possesses Y holds during the time of existence of X |
|