TreeView Knowledge Base Browser - TerminatingEmployment

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2957-2958
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10736-10738
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10734-10734	Terminating employment is a subclass of leaving an organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16925-16925	Employment firing is a subclass of terminating employment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16930-16930	Resigning is a subclass of terminating employment
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1102-1102
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1421-1421
No TPTP formula. May not be expressible in strict first order.	french_format.kif 780-780
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 312-312
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 315-315
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2464-2464
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 317-317
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 351-351
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 801-801
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 316-316

antecedent

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

Merge.kif 10740-10748

If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process,
then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ the entity holds during the end of the time of existence of the process

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 3.0 is open source software produced by Articulate Software and its partners