cargas el resultado de una consulta en un vector

[*Emilio*]

La respuesta de Roman me parece perfecta, no obstante con su permiso añadiría que no es necesario iniciarlizar los arrays
$s_codmat = array();
$s_sinonimo = array();

PHP ya inicializa las variables él solito, de ahí que podamos con toda comodidad pasar de un tipo de dato a otro sin intervención alguna por nuestra parte.