zlacker

>>_freu+(OP)
> Cyc has been given many thousands of facts

Are thousands enough? Maybe the article misstated this.

>>mchahn+u2
The free version of cyc has about a quarter-million terms alone, so they are likely wrong.

[edit]

According to this, it has "about seven million assertions" and notes that cyc can infer many more assertions from those.

http://www.cyc.com/kb/