Raciocínio Automático e Representação do Conhecimento Conceito