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 | Firing est une sous-classe de processus organisationnel |
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 |
|