LeavingAnOrganization(leaving an organization) | cashier, cut, defect, depart, desert, disassociate, disjoint, dissociate, disunite, divorce, drop_out, fall, get_off, leave, leave_office, pull_up_stakes, quit, relieve, remove, resign, step_down, take_off, take_over, take_time_off, top_out |
appearance as argument number 1 |
(disjoint LeavingAnOrganization JoiningAnOrganization) | Merge.kif 10680-10680 | Leaving an organization is disjoint from joining an organization |
(documentation LeavingAnOrganization ChineseLanguage "这是自愿或是非自愿离开一个 Organization 的 OrganizationalProcess。") | chinese_format.kif 2949-2950 | |
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, initiated voluntarily by the employee.") | Merge.kif 10696-10697 | |
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.") | Merge.kif 10682-10683 | |
(documentation LeavingAnOrganization JapaneseLanguage "自発的か無意識かにかかわらず Organization を去る OrganizationalProcess 。") | japanese_format.kif 1704-1705 | |
(subclass LeavingAnOrganization OrganizationalProcess) | Merge.kif 10679-10679 | Leaving an organization is a subclass of organizational process |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?LEAVE LeavingAnOrganization) (instance ?ORG Organization) (agent ?LEAVE ?PERSON) (patient ?LEAVE ?ORG)) (and (holdsDuring (BeginFn (WhenFn ?LEAVE)) (member ?PERSON ?ORG)) (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?PERSON ?ORG))))) |
Merge.kif 10685-10693 |
|