KIF (Knowledge Interchange Format) je jazyk používaný k výměně znalostí mezi počítačovými programy. Je navržen jako společný formát, který mohou číst lidé i stroje. KIF je založen na logice prvního řádu a umožňuje vyjadřovat pravidla, fakta a dotazy.