Acho que a sintaxe correta para o comando route add
seria:
route add -net 172.31.0.0 netmask 255.255.0.0 gw 1.2.3.1
Eu estou supondo que o número do gateway (gw);
você precisaria perguntar ao suporte de TI do seu escritório sobre isso
se você não consegue descobrir por ferramentas de diagnóstico.
(Ou, se eu entendi a primeira parte da sua pergunta corretamente,
então você pode usar o def1
hostname.)
O motivo pelo qual você não pode rotear o nome da interface diretamente é porque a rede que você está roteando não é local nessa interface.