Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TerminatingEmployment

Sigma KEE - TerminatingEmployment
TerminatingEmployment

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 子類 TerminatingEmployment and LeavingAnOrganization

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


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

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


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

Show without tree


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