No TPTP formula. May not be expressible in strict first order. | Merge.kif 10605-10605 | Hiring is a subclass of organizational process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10719-10719 | Hiring is a subclass of joining an organization |