WiKLaTS - Um Ambiente de interface e interação para manipulação e formalização de conhecimento para tradução entre pares de linguas baseada em regras Documento