Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Escaping(escaping) |  | Hegira, Hejira, escape, flight, skedaddle |
| appearance as argument number 1 |
|
|
| (subclass Escaping Translocation) | Mid-level-ontology.kif 19036-19036 | Escaping is a subclass of translocation |
| (documentation Escaping EnglishLanguage "Any instance of Translocation where the agent brings it about that he/ she is no longer confined without having the right to do so. It is preceded by a Confining and immediately after the escaping the agent of escaping is no longer the patient of confining.") | Mid-level-ontology.kif 19037-19040 | Escaping is a subclass of translocation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ESCAPE Escaping) (agent ?ESCAPE ?AGENT)) (exists (?CONFINE) (and (instance ?CONFINE Confining) (patient ?CONFINE ?AGENT) (meetsTemporally (WhenFn ?CONFINE) (WhenFn ?ESCAPE))))) |
Mid-level-ontology.kif 19042-19050 | If X is an instance of escaping and Y is an agent of X, then there exists Z such that Z is an instance of confining, Y is a patient of Z, and the time of existence of Z meets the time of existence of X |
| (=> (instance ?ESCAPE Escaping) (holdsDuring (ImmediateFutureFn (WhenFn ?ESCAPE)) (not (exists (?AGENT) (holdsRight ?AGENT (agent ?ESCAPE ?AGENT)))))) |
Mid-level-ontology.kif 19054-19061 | If X is an instance of escaping, then there doesn't exist Y such that Y has the right to perform holds during immediately after the time of existence of X |
| (=> (instance ?E Escaping) (exists (?C) (and (instance ?C Confining) (startsDuring (WhenFn ?C) (WhenFn ?E))))) |
Mid-level-ontology.kif 19063-19070 | If X is an instance of escaping, then there exists Y such that Y is an instance of confining, starts during the time of existence of Y, and the time of existence of X |
| (=> (and (instance ?E Escaping) (agent ?E ?A)) (holdsDuring (ImmediateFutureFn (EndFn (WhenFn ?E))) (not (exists (?C) (and (instance ?C Confining) (patient ?C ?A)))))) |
Mid-level-ontology.kif 19072-19084 | If X is an instance of escaping and Y is an agent of X, then there doesn't exist Z such that Z is an instance of confining and Y is a patient of Z holds during immediately after the end of the time of existence of X |
|