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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TerminatingEmployment

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 10630-10632
No TPTP formula. May not be expressible in strict first order. Merge.kif 10628-10628 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 16368-16368 Employment firing is a subclass of terminating employment
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16373-16373 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10634-10642


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