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。注:这包括被遣散、被解雇和自愿离职。") Merge.kif 10636-10637
(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 10633-10635
(subclass TerminatingEmployment LeavingAnOrganization) Merge.kif 10632-10632

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


(subclass EmploymentFiring TerminatingEmployment) Mid-level-ontology.kif 14480-14480
(subclass Resigning TerminatingEmployment) Mid-level-ontology.kif 14485-14485
(termFormat ChineseLanguage TerminatingEmployment "离职") chinese_format.kif 1102-1102
(termFormat EnglishLanguage TerminatingEmployment "terminating employment") english_format.kif 789-789
(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 313-313
(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 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 10639-10647


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners