An Introduction to the Syntax and Content of Cyc. - Cynthia Matuszek; John Cabral; Michael Witbrock; John DeOliveira (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)