In the most general sense, an expression is a sequence of symbols. The phrase “CycL expression” refers to expressions that follow the syntax rules of CycL. Some CycL expressions are propositions or statements about the world; these are called CycL formulas. Other CycL expressions form terms that stand for concepts; these are called non-atomic terms (NATs).
