KIF (Knowledge Interchange Format) é uma língua utilizada para a troca de conhecimentos entre programas de computador. Foi concebido para ser um formato comum que pode ser lido tanto por humanos como por máquinas. KIF é baseado em lógica de primeira ordem e permite a expressão de regras, factos, e consultas.