|
|
   Firing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Firing EnglishLanguage "The OrganizationalProcess of leaving an Organization involuntarily. Although initiated by the organization, sometimes an employee may want to be fired because of compensation from the organization or labor law issues.") | Merge.kif 10711-10714 | |
| (subclass Firing OrganizationalProcess) | Merge.kif 10715-10715 | Firing est une sous-classe de processus organisationnel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Firing "firing") | domainEnglishFormat.kif 64868-64868 |
| antecedent |
|
|
| (=> (and (instance ?LEAVE Firing) (instance ?ORG Organization) (agent ?LEAVE ?ORG) (patient ?LEAVE ?P)) (and (holdsDuring (BeginFn (WhenFn ?LEAVE)) (member ?P ?ORG)) (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?P ?ORG))))) |
Merge.kif 10717-10725 |
|
|
|
|