No TPTP formula. May not be expressible in strict first order. | Merge.kif 10756-10756 | 子類 TerminatingEmployment and LeavingAnOrganization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16924-16924 | 子類 就業解僱 and TerminatingEmployment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16929-16929 | 子類 辭職 and TerminatingEmployment |