KIF

Knowledge Interchange Format

Michael R. Genesereth

"Knowledge Interchange Format", Michael R. Genesereth and R. E. Fikes, Report Logic-92-1, Dept of Computer Science, Stanford University, 1992.