An Introduction to the Syntax and Content of Cyc.

Published in: AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)