|
|
   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 10677-10680 | |
| (subclass Firing OrganizationalProcess) | Merge.kif 10681-10681 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Firing "firing") | domainEnglishFormat.kif 64866-64866 |
| 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 10683-10691 |
|
|
|