Matuszek, CynthiaWitbrock, MichaelCabral, JohnDeOliveira, John2018-09-062018-09-062006-03Cynthia Matuszek, John Cabral, Michael Witbrock, John DeOliveira, An Introduction to the Syntax and Content of Cyc, 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Stanford, CA, March 2006.Spring Symposium on Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Stanford, CA, March 2006.From the beginning, a primary goal of the Cyc project has been to build a large knowledge base containing a store of formalized background knowledge suitable for supporting reasoning in a variety of domains. In this paper, we will discuss the portion of Cyc technology that has been released in open source form as OpenCyc, provide examples of the content available in ResearchCyc, and discuss their utility for the future development of fully formalized knowledge bases.6 PAGESen-USThis item may be protected under Title 17 of the U.S. Copyright Law. It is made available by UMBC for non-commercial research and education. For permission to publish or reproduce, please contact the author.Cyc Knowledge Base (KB)CycL LanguageInteractive Robotics and Language LabText