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, leaving_an_organization, 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 9846-9846 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 9848-9849
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 9845-9845 Leaving an organization is a subclass of organizational process

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


(subclass Graduation LeavingAnOrganization) Merge.kif 9861-9861 Graduation is a subclass of leaving an organization
(subclass TerminatingEmployment LeavingAnOrganization) Merge.kif 9898-9898 Terminating employment is a subclass of leaving an organization
(termFormat ChineseLanguage LeavingAnOrganization "离开一个机构") chinese_format.kif 1098-1098 "离开一个机构" is the printable form of leaving an organization in ChineseLanguage
(termFormat EnglishLanguage LeavingAnOrganization "leaving an organization") english_format.kif 1412-1412 "leaving an organization" is the printable form of leaving an organization in english language

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 9851-9859


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