KIF (Knowledge Interchange Format) es un lenguaje utilizado para intercambiar conocimientos entre programas informáticos. Está diseñado para ser un formato común que pueda ser leído tanto por humanos como por máquinas. KIF se basa en la lógica de primer orden y permite expresar reglas, hechos y consultas.