| 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 17556-17556 | |
| (subclass Leaving Translocation) | Mid-level-ontology.kif 17555-17555 | Leaving is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Leaving "离开") | domainEnglishFormat.kif 33747-33747 | |
| (termFormat ChineseTraditionalLanguage Leaving "離開") | domainEnglishFormat.kif 33746-33746 | |
| (termFormat EnglishLanguage Leaving "leaving") | domainEnglishFormat.kif 33745-33745 |
| antecedent |
|
|
| (=> (instance ?LEAVE Leaving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?LEAVE ?GO) (starts (WhenFn ?LEAVE) (WhenFn ?GO))))) |
Mid-level-ontology.kif 17558-17564 |
|
| consequent |
|
|
| (=> (and (instance ?R Railhead) (instance ?V RailVehicle) (holdsDuring ?T (located ?V ?R))) (exists (?M) (and (patient ?M ?V) (or (and (instance ?M Leaving) (origin ?M ?R) (during (WhenFn ?M) ?T)) (and (instance ?M Arriving) (destination ?M ?R) (during (WhenFn ?M) ?T)))))) |
Transportation.kif 2235-2252 |
|
|
|
|