Verificação de Fatos Computacional a partir de Redes de Conhecimento | Synapse