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.