| 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 13903-13903 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | Leaving is a subclass of translocation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33696-33696 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33695-33695 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33694-33694 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13905-13911 |
|
|
|
|