KIF (Knowledge Interchange Format) is a computer-oriented language for the interchange of knowledge among disparate programs.