No TPTP formula. May not be expressible in strict first order. | Merge.kif 10826-10826 | Managing is a subclass of organizational process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10827-10827 | Managing is a subclass of guiding |