| 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 |
|
|
| (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 17521-17522 | |
| (subclass Returning Translocation) | Mid-level-ontology.kif 17520-17520 | Returning is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Returning "返回") | domainEnglishFormat.kif 49878-49878 | |
| (termFormat ChineseTraditionalLanguage Returning "返回") | domainEnglishFormat.kif 49877-49877 | |
| (termFormat EnglishLanguage Returning "returning") | domainEnglishFormat.kif 49876-49876 |
| 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 17524-17532 |
|
| consequent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?TARGET)) (hasPurpose ?RO (exists (?PROCESS) (and (patient ?PROCESS ?TARGET) (instance ?PROCESS (UnionFn Classifying (UnionFn Pursuing (UnionFn Discovering (UnionFn Locating Returning))))))))) |
MilitaryProcesses.kif 558-570 |
|
|
|
|