| TerminatingEmployment(terminating employment) | discharged, dismissed, fired, laid-off, pink-slipped |
| appearance as argument number 1 |
|
|
| (documentation TerminatingEmployment ChineseLanguage "这是当某人终止作为一个 Organization 雇员的 OrganizationalProcesses。注:这包括被遣散、被解雇和自愿离职。") | chinese_format.kif 2957-2958 | |
| (documentation TerminatingEmployment EnglishLanguage "OrganizationalProcesses where someone ceases to be an employee of an Organization. Note that this covers being laid off, being fired, and voluntarily leaving a job.") | Merge.kif 10896-10898 | |
| (documentation TerminatingEmployment JapaneseLanguage "誰かが Organization の従業員でなく なる OrganizationalProcesses。注:これは、解雇されたり、自発的に退職することをカバーする。") | japanese_format.kif 1712-1713 | |
| (subclass TerminatingEmployment LeavingAnOrganization) | Merge.kif 10894-10894 | Terminating employment is a subclass of leaving an organization |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?FIRE TerminatingEmployment) (instance ?ORG Organization) (agent ?FIRE ?ORG) (patient ?FIRE ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?FIRE)) (employs ?ORG ?PERSON)) (holdsDuring (EndFn (WhenFn ?FIRE)) (not (employs ?ORG ?PERSON))))) |
Merge.kif 10900-10908 |
|
|
|