LeavingAnOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint LeavingAnOrganization JoiningAnOrganization)	Merge.kif 10709-10709	Leaving an organization is disjoint from joining an organization
(documentation LeavingAnOrganization ChineseLanguage "这是自愿或是非自愿离开一个 Organization 的 OrganizationalProcess。")	chinese_format.kif 2949-2950	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 10725-10726	Leaving an organization is disjoint from joining an organization
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.")	Merge.kif 10711-10712	Leaving an organization is disjoint from joining an organization
(documentation LeavingAnOrganization JapaneseLanguage "自発的か無意識かにかかわらず Organization を去る OrganizationalProcess 。")	japanese_format.kif 1704-1705	Leaving an organization is disjoint from joining an organization
(subclass LeavingAnOrganization OrganizationalProcess)	Merge.kif 10708-10708	Leaving an organization is a subclass of organizational process

appearance as argument number 2

(subclass Graduation LeavingAnOrganization)	Merge.kif 10760-10760	Graduation is a subclass of leaving an organization
(subclass Quitting LeavingAnOrganization)	Merge.kif 10724-10724	Quitting is a subclass of leaving an organization
(subclass TerminatingEmployment LeavingAnOrganization)	Merge.kif 10797-10797	Terminating employment is a subclass of leaving an organization
(termFormat ChineseLanguage LeavingAnOrganization "离开一个机构")	chinese_format.kif 1098-1098	Terminating employment is a subclass of leaving an organization
(termFormat EnglishLanguage LeavingAnOrganization "leaving an organization")	english_format.kif 1407-1407	Terminating employment is a subclass of leaving an organization
(termFormat FrenchLanguage LeavingAnOrganization "quitter une organization")	french_format.kif 776-776	Terminating employment is a subclass of leaving an organization
(termFormat Hindi LeavingAnOrganization "sansthaa tyaaga")	terms-hindi.txt 308-308	Terminating employment is a subclass of leaving an organization
(termFormat ItalianLanguage LeavingAnOrganization "AbbandonoDiUn'Organizzazione")	terms-it.txt 311-311	Terminating employment is a subclass of leaving an organization
(termFormat JapaneseLanguage LeavingAnOrganization "組織を脱退")	japanese_format.kif 2460-2460	Terminating employment is a subclass of leaving an organization
(termFormat PortugueseLanguage LeavingAnOrganization "Deixar uma Organizacao")	portuguese_format.kif 728-728	Terminating employment is a subclass of leaving an organization
(termFormat cz LeavingAnOrganization "leaving an organization")	terms-cz.txt 347-347	Terminating employment is a subclass of leaving an organization
(termFormat de LeavingAnOrganization "verlassen eine Organisation")	terms-de.txt 606-606	Terminating employment is a subclass of leaving an organization
(termFormat ro LeavingAnOrganization "pãrãsire a unei organizaþii")	relations-ro.kif 797-797	Terminating employment is a subclass of leaving an organization
(termFormat tg LeavingAnOrganization "umalis ang kapisanan")	terms-tg.txt 312-312	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 10714-10722

If a process is an instance of leaving an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process,
then the agent is a member of the entity holds during the beginning of the time of existence of the process and the agent is not a member of the entity holds during the end of the time of existence of the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: