Leaving(leaving) | ![]() | French_leave, beat_a_retreat, beetle_off, bolt, bolt_out, break, break_away, break_out, breaking_away, come_forth, come_out, congee, depart, departure, draw_back, egress, emerge, escape, exit, fall_out, farewell, get_out, go, go_away, go_forth, go_out, going, going_away, hightail, issue, leak, leave, leave-taking, leaving, move_back, part, parting, plump_out, pop_off, pour_out, pull_away, pull_back, quit, radiate, recede, retire, retreat, run_off, run_out, rush_away... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18849-18849 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18848-18848 | Leaving is a subclass of translocation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33724-33724 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33723-33723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33722-33722 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18851-18857 |
|
consequent |
![]() |
![]() |
![]() |