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 17298-17298 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17297-17297 | Leaving is a subclass of translocation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33713-33713 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33712-33712 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33711-33711 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17300-17306 |
|