Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

leaving an organization (LeavingAnOrganization)

The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  intentional process  
is subclass of
  organizational process  
is subclass of
  leaving an organization  

Subclass(es)

graduation  terminating employment 

Coordinate term(s)

joining an organization  managing  political process  regulatory process  religious process 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

leaving an organization is disjoint from joining an organization. 
(disjoint LeavingAnOrganization JoiningAnOrganization)
If leave is an instance of leaving an organization and org is an instance of organization and leave is an agent of org and person is a patient of leave, then person is not a member of org immediately after "the time of existence of leave". 
(=>
      (and
            (instance ?LEAVE LeavingAnOrganization)
            (instance ?ORG Organization)
            (agent ?LEAVE ?ORG)
            (patient ?LEAVE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?LEAVE))
            (not
                  (member ?PERSON ?ORG))))