| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10573-10573 | Joining an organization is a subclass of organizational process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7993-7993 | Baptizing is a subclass of joining an organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21939-21939 | Infiltration is a subclass of joining an organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10708-10708 | Matriculation is a subclass of joining an organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10719-10719 | Hiring is a subclass of joining an organization |
|
|