> come up with a lot of true facts in different fields, all of which we can try writing down in this language. Reminds me of Cyc.[1][2] [1] www.cyc.com [2] en

> come up with a lot of true facts in different fields, all of which we can try writing down in this language. Reminds me of Cyc.[1][2] [1] www.cyc.com [2] en.wikipedia.org/wiki/cyc