1/14/02
Professor Richard Fikes
First-Order Logic
Knowledge Interchange Format
(KIF)
Computer Science Department
Stanford University
CS222
Winter 2002
Knowledge Systems Laboratory, Stanford University