KIF (Knowledge Interchange Format) ist eine Sprache, die zum Austausch von Wissen zwischen Computerprogrammen verwendet wird. Sie ist als gemeinsames Format konzipiert, das sowohl von Menschen als auch von Maschinen gelesen werden kann. KIF basiert auf der Logik erster Ordnung und ermöglicht den Ausdruck von Regeln, Fakten und Abfragen.