LeavingAnOrganization
|
|
appearance as argument number 1 |
(disjoint LeavingAnOrganization JoiningAnOrganization) | Merge.kif 10668-10668 | 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 10684-10685 | |
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.") | Merge.kif 10670-10671 | |
(documentation LeavingAnOrganization JapaneseLanguage "自発的か無意識かにかかわらず Organization を去る OrganizationalProcess 。") | japanese_format.kif 1704-1705 | |
(subclass LeavingAnOrganization OrganizationalProcess) | Merge.kif 10667-10667 | 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 10673-10681 |
|