VerbNet: run-51.3.2|back, convert-26.6.2|revert, begin-55.1|resume, convert-26.6.2|revert, escape-51.1|return, convert-26.6.2|revert, begin-55.1|resume, convert-26.6.2|revert,
| 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 VerbNet: run-51.3.2|back, convert-26.6.2|revert, begin-55.1|resume, convert-26.6.2|revert, escape-51.1|return, convert-26.6.2|revert, begin-55.1|resume, convert-26.6.2|revert, |
| 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 14827-14828 | |
| (subclass Returning Translocation) | Mid-level-ontology.kif 14826-14826 | Returning is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Returning "返回") | domainEnglishFormat.kif 49736-49736 | |
| (termFormat ChineseTraditionalLanguage Returning "返回") | domainEnglishFormat.kif 49735-49735 | |
| (termFormat EnglishLanguage Returning "returning") | domainEnglishFormat.kif 49734-49734 |
| 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 14830-14838 |
|
| 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 |
|
|
|
|