CycL

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[?].