Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LeavingAnOrganization
LeavingAnOrganization(leaving an organization)cashier, cut, defect, depart, desert, disassociate, disjoint, dissociate, disunite, divorce, drop_out, fall, get_off, leave, leave_office, pull_up_stakes, quit, relieve, remove, resign, step_down, take_off, take_over, take_time_off, top_out

appearance as argument number 1
-------------------------


(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10892-10892 Leaving an organization is a subclass of organizational process
(disjoint LeavingAnOrganization JoiningAnOrganization) Merge.kif 10893-10893 Leaving an organization is disjoint from joining an organization
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.") Merge.kif 10895-10896 Leaving an organization is disjoint from joining an organization
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, initiated voluntarily by the employee.") Merge.kif 10909-10910 Leaving an organization is disjoint from joining an organization

appearance as argument number 2
-------------------------


(subclass Quitting LeavingAnOrganization) Merge.kif 10908-10908 Quitting is a subclass of leaving an organization
(subclass Graduation LeavingAnOrganization) Merge.kif 10944-10944 Graduation is a subclass of leaving an organization
(subclass TerminatingEmployment LeavingAnOrganization) Merge.kif 10981-10981 Terminating employment is a subclass of leaving an organization
(termFormat EnglishLanguage LeavingAnOrganization "leaving an organization") english_format.kif 1411-1411 Terminating employment is a subclass of leaving an organization

antecedent
-------------------------


(=>
    (and
        (instance ?LEAVE LeavingAnOrganization)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?PERSON ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10898-10906 If X is an instance of leaving an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners