LeavingAnOrganization - Sigma Knowledge base Browser

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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10646-10646	Leaving an organization is disjoint from joining an organization
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2949-2950
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10662-10663
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10648-10649
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1704-1705
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10645-10645	Leaving an organization is a subclass of organizational process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10697-10697	Graduation is a subclass of leaving an organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10661-10661	Quitting is a subclass of leaving an organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10734-10734	Terminating employment is a subclass of leaving an organization
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1098-1098
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1407-1407
No TPTP formula. May not be expressible in strict first order.	french_format.kif 776-776
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 311-311
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2460-2460
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 728-728
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 347-347
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 797-797
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 312-312

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 10651-10659

If a process is an instance of leaving an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process,
then the agent is a member of the entity holds during the beginning of the time of existence of the process and the agent is not a member of the entity holds during the end of the time of existence of the process

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