Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Returning(returning) |  | back, back_and_forth, back_down, back_off, back_up, backward_and_forward, come_back, go_home, hark_back, head_home, homecoming, recall, regress, resile, resume, resurrect, retreat, retrovert, return, revert, rise, take_up, to_and_fro, turn_back, uprise |
| appearance as argument number 1 |
|
|
| (subclass Returning Translocation) | Mid-level-ontology.kif 19022-19022 | Returning is a subclass of translocation |
| (documentation Returning EnglishLanguage "Any instance of Translocation where the agent goes to a location where he/ she had been before the Translocation took place.") | Mid-level-ontology.kif 19023-19024 | Returning is a subclass of translocation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?RETURN Returning) (experiencer ?RETURN ?AGENT) (destination ?RETURN ?DEST)) (exists (?TIME) (and (earlier ?TIME (WhenFn ?RETURN)) (holdsDuring ?TIME (located ?AGENT ?DEST))))) |
Mid-level-ontology.kif 19026-19034 | If X is an instance of returning, Y experiences X, and X ends up at Z, then there exists W such that W happens earlier than the time of existence of X and Y is located at Z holds during W |
|