| 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 |
|
|
| (documentation Leaving EnglishLanguage "The initial part of any instance of Translocation.") | Mid-level-ontology.kif 17325-17325 | |
| (subclass Leaving Translocation) | Mid-level-ontology.kif 17324-17324 | Leaving is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Leaving "离开") | domainEnglishFormat.kif 33713-33713 | |
| (termFormat ChineseTraditionalLanguage Leaving "離開") | domainEnglishFormat.kif 33712-33712 | |
| (termFormat EnglishLanguage Leaving "leaving") | domainEnglishFormat.kif 33711-33711 |
| antecedent |
|
|
| (=> (instance ?LEAVE Leaving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?LEAVE ?GO) (starts (WhenFn ?LEAVE) (WhenFn ?GO))))) |
Mid-level-ontology.kif 17327-17333 |
|
|
|
|