Introduction to KIF