An introduction to the syntax and content of Cyc
searching for common sense : populating cyc™ from the web .