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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TerminatingEmployment

Sigma KEE - TerminatingEmployment
TerminatingEmployment(renvoyer)

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 10736-10738
(documentation TerminatingEmployment JapaneseLanguage "誰かが Organization の従業員でなく なる OrganizationalProcesses。注:これは、解雇されたり、自発的に退職することをカバーする。") japanese_format.kif 1712-1713
(subclass TerminatingEmployment LeavingAnOrganization) Merge.kif 10734-10734 Renvoyer est une sous-classe de quitter une organization

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


(subclass EmploymentFiring TerminatingEmployment) Mid-level-ontology.kif 16925-16925 EmploymentFiring est une sous-classe de renvoyer
(subclass Resigning TerminatingEmployment) Mid-level-ontology.kif 16930-16930 Resigning est une sous-classe de renvoyer
(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 10740-10748


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