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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeavingAnOrganization
LeavingAnOrganization(leaving an organization)cashier, cut, defect, depart, desert, disassociate, disjoint, dissociate, disunite, divorce, drop_out, fall, get_off, leave, leave_office, pull_up_stakes, quit, relieve, remove, resign, step_down, take_off, take_over, take_time_off, top_out

VerbNet: resign-10.11|depart, marry-36.2|divorce, marry-36.2|divorce, marry-36.2|divorce, marry-36.2|divorce, marry-36.2|divorce, resign-10.11|depart, resign-10.11|quit, resign-10.11|depart, resign-10.11|quit, cheat-10.6|relieve, fire-10.10|remove, resign-10.11|quit, resign-10.11|quit, cheat-10.6|relieve,


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


(disjoint LeavingAnOrganization JoiningAnOrganization) Merge.kif 9970-9970 Leaving an organization is disjoint from joining an organization
(documentation LeavingAnOrganization ChineseLanguage "这是自愿或是非自愿离开一个 OrganizationOrganizationalProcess。") chinese_format.kif 2949-2950
(documentation LeavingAnOrganization EnglishLanguage "The OrganizationalProcess of leaving an Organization, whether voluntarily or involuntarily.") Merge.kif 9972-9973
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 9969-9969 Leaving an organization is a subclass of organizational process

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


(subclass Graduation LeavingAnOrganization) Merge.kif 9985-9985 Graduation is a subclass of leaving an organization
(subclass TerminatingEmployment LeavingAnOrganization) Merge.kif 10022-10022 Terminating employment is a subclass of leaving an organization
(termFormat ChineseLanguage LeavingAnOrganization "离开一个机构") chinese_format.kif 1098-1098
(termFormat EnglishLanguage LeavingAnOrganization "leaving an organization") english_format.kif 1412-1412

antecedent
-------------------------


(=>
    (and
        (instance ?LEAVE LeavingAnOrganization)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?PERSON ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))
Merge.kif 9975-9983


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