Knowledge Systems Laboratory, Stanford
University
3
Language 1
Language 2
Language
n
K I F
. . .
KB
Library
Interlingua
for Multi-Use Knowledge
uKnowledge Interchange Format (KIF)
8First order predicate
logic
8Includes numbers, lists,
and strings
8Linear ASCII syntax
8In the process of becoming
an ANSI standard