Encyclopedia > CycL

  Article Content


CycL was originally a frame language[?] used by Doug Lenat's Cyc Artificial Intelligence project.

The modern version of CycL is not based on frames. It is, instead based First Order Predicate Calculus[?] extended to allow quantification over predicates and statements, and therefore is a Second Order Logical Language[?].

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article

... is a term for someone with absolute governmental power, from the Greek language turannos. In Classical Antiquity[?] it did not always have inherently negative ...

This page was created in 33.9 ms