Funcionario afastado pelo INSS recebe aposentadoria por invalides

Temos um funcionario que sofreu AVC a 5 anos atras e estava afastado pelo INSS, em outubro do ano passado recebemos uma carta dizendo ser do INSS que o mesmo tinha se aposentado por invalides. A pergunta, como fazer para dar baixa na carteira uma vez que o funcionario não se apresentou no condominio, segundo ele teria direito ao seguro de 10 salarios conforme convenção por invalides a ser paga pelo seguro do predio. Pois até agora o mesmo não se apresentou e nem se manifestou. O que fazer?