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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17263-17264 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17262-17262 | Returning is a subclass of translocation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49838-49838 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49837-49837 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49836-49836 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17266-17274 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 558-570 |
|