Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TerminatingEmployment
TerminatingEmployment(terminating employment)clean_out, discharged, dismissed, fired, furlough, invalid, laid-off, lay_off, pension_off, pink-slipped, retire, squeeze_out, superannuate

appearance as argument number 1
-------------------------


(subclass TerminatingEmployment LeavingAnOrganization) Merge.kif 10981-10981 Terminating employment is a subclass of leaving an organization
(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 10983-10985 Terminating employment is a subclass of leaving an organization

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


(subclass EmploymentFiring TerminatingEmployment) Mid-level-ontology.kif 18543-18543 Employment firing is a subclass of terminating employment
(subclass Resigning TerminatingEmployment) Mid-level-ontology.kif 18548-18548 Resigning is a subclass of terminating employment
(termFormat EnglishLanguage TerminatingEmployment "terminating employment") english_format.kif 1425-1425 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 10987-10995 If X is an instance of terminating employment, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during the beginning of the time of existence of X and Y doesn't employ Z holds during the end of the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners