LeavingAnOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint LeavingAnOrganization JoiningAnOrganization)	Merge.kif 10680-10680	LeavingAnOrganization ist dijunkt von JoiningAnOrganization %n{nicht}
(documentation LeavingAnOrganization ChineseLanguage "这是自愿或是非自愿离开一个 Organization 的 OrganizationalProcess。")	chinese_format.kif 2949-2950
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, initiated voluntarily by the employee.")	Merge.kif 10696-10697
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.")	Merge.kif 10682-10683
(documentation LeavingAnOrganization JapaneseLanguage "自発的か無意識かにかかわらず Organization を去る OrganizationalProcess 。")	japanese_format.kif 1704-1705
(subclass LeavingAnOrganization OrganizationalProcess)	Merge.kif 10679-10679	LeavingAnOrganization ist eine teilkategorie von OrganizationalProcess

appearance as argument number 2

(subclass Graduation LeavingAnOrganization)	Merge.kif 10731-10731	Graduation ist eine teilkategorie von LeavingAnOrganization
(subclass Quitting LeavingAnOrganization)	Merge.kif 10695-10695	Quitting ist eine teilkategorie von LeavingAnOrganization
(subclass TerminatingEmployment LeavingAnOrganization)	Merge.kif 10768-10768	TerminatingEmployment ist eine teilkategorie von LeavingAnOrganization
(termFormat ChineseLanguage LeavingAnOrganization "离开一个机构")	chinese_format.kif 1098-1098
(termFormat EnglishLanguage LeavingAnOrganization "leaving an organization")	english_format.kif 1407-1407
(termFormat FrenchLanguage LeavingAnOrganization "quitter une organization")	french_format.kif 776-776
(termFormat Hindi LeavingAnOrganization "sansthaa tyaaga")	terms-hindi.txt 308-308
(termFormat ItalianLanguage LeavingAnOrganization "AbbandonoDiUn'Organizzazione")	terms-it.txt 311-311
(termFormat JapaneseLanguage LeavingAnOrganization "組織を脱退")	japanese_format.kif 2460-2460
(termFormat PortugueseLanguage LeavingAnOrganization "Deixar uma Organizacao")	portuguese_format.kif 728-728
(termFormat cz LeavingAnOrganization "leaving an organization")	terms-cz.txt 347-347
(termFormat ro LeavingAnOrganization "pãrãsire a unei organizaþii")	relations-ro.kif 797-797
(termFormat tg LeavingAnOrganization "umalis ang kapisanan")	terms-tg.txt 312-312

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 10685-10693

Wenn Process ist ein fall von LeavingAnOrganization %n{nicht} und Entity ist ein fall von Organization %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht},
dann ** AutonomousAgent ist ein Mitglied von ** Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** AutonomousAgent ist ein Mitglied von ** Entity nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}

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: