No TPTP formula. May not be expressible in strict first order. | Merge.kif 10605-10605 | Empregar e' uma sub-classe de Processo Organizacional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10719-10719 | Empregar e' uma sub-classe de Juntar-se a uma Organizacao |