No TPTP formula. May not be expressible in strict first order. | Merge.kif 10645-10645 | 子類 LeavingAnOrganization and OrganizationalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10661-10661 | 子類 Quitting and LeavingAnOrganization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10697-10697 | 子類 Graduation and LeavingAnOrganization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10734-10734 | 子類 TerminatingEmployment and LeavingAnOrganization |