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