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