KIF (Knowledge Interchange Format) je jazyk používaný na výmenu znalostí medzi počítačovými programami. Je navrhnutý ako spoločný formát, ktorý môžu čítať ľudia aj stroje. KIF je založený na logike prvého rádu a umožňuje vyjadrovať pravidlá, fakty a dotazy.