An introduction to the syntax and content of Cyc
CYC: a large-scale investment in knowledge infrastructure