| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10595-10595 | 子類 JoiningAnOrganization and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7992-7992 | 子類 施洗 and JoiningAnOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21938-21938 | 子類 浸潤 and JoiningAnOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10730-10730 | 子類 Matriculation and JoiningAnOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10741-10741 | 子類 Hiring and JoiningAnOrganization |
|
|