TerminatingEmployment - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TerminatingEmployment ChineseLanguage "这是当某人终止作为一个 Organization 雇员的 OrganizationalProcesses。注：这包括被遣散、被解雇和自愿离职。")	chinese_format.kif 2957-2958
(documentation TerminatingEmployment EnglishLanguage "OrganizationalProcesses where someone ceases to be an employee of an Organization. Note that this covers being laid off, being fired, and voluntarily leaving a job.")	Merge.kif 10770-10772
(documentation TerminatingEmployment JapaneseLanguage "誰かが Organization の従業員でなくなる OrganizationalProcesses。注：これは、解雇されたり、自発的に退職することをカバーする。")	japanese_format.kif 1712-1713
(subclass TerminatingEmployment LeavingAnOrganization)	Merge.kif 10768-10768	Terminating employment is a subclass of leaving an organization

appearance as argument number 2

(subclass EmploymentFiring TerminatingEmployment)	Mid-level-ontology.kif 17143-17143	Employment firing is a subclass of terminating employment
(subclass Resigning TerminatingEmployment)	Mid-level-ontology.kif 17148-17148	Resigning is a subclass of terminating employment
(termFormat ChineseLanguage TerminatingEmployment "离职")	chinese_format.kif 1102-1102	Resigning is a subclass of terminating employment
(termFormat EnglishLanguage TerminatingEmployment "terminating employment")	english_format.kif 1421-1421	Resigning is a subclass of terminating employment
(termFormat FrenchLanguage TerminatingEmployment "renvoyer")	french_format.kif 780-780	Resigning is a subclass of terminating employment
(termFormat Hindi TerminatingEmployment "rojagaara samaapti")	terms-hindi.txt 312-312	Resigning is a subclass of terminating employment
(termFormat ItalianLanguage TerminatingEmployment "CessazioneDiRapportoLavorativo")	terms-it.txt 315-315	Resigning is a subclass of terminating employment
(termFormat JapaneseLanguage TerminatingEmployment "雇用の終了")	japanese_format.kif 2464-2464	Resigning is a subclass of terminating employment
(termFormat PortugueseLanguage TerminatingEmployment "Despedir")	portuguese_format.kif 732-732	Resigning is a subclass of terminating employment
(termFormat cb TerminatingEmployment "pagwagtang sa gitrabaho")	terms-cb.txt 317-317	Resigning is a subclass of terminating employment
(termFormat cz TerminatingEmployment "terminating employment")	terms-cz.txt 351-351	Resigning is a subclass of terminating employment
(termFormat ro TerminatingEmployment "încetare a contractului de muncã")	relations-ro.kif 801-801	Resigning is a subclass of terminating employment
(termFormat tg TerminatingEmployment "pagtigilng trabaho")	terms-tg.txt 316-316	Resigning is a subclass of terminating employment

antecedent

(=>
    (and
        (instance ?FIRE TerminatingEmployment)
        (instance ?ORG Organization)
        (agent ?FIRE ?ORG)
        (patient ?FIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FIRE))
            (employs ?ORG ?PERSON))
        (holdsDuring
            (EndFn
                (WhenFn ?FIRE))
            (not
                (employs ?ORG ?PERSON)))))

Merge.kif 10774-10782

If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process,
then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ 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: