Represented terms, represented in the Cyc Knowledge Base by #$CycLRepresentedTerm, are denotational terms that are represented in CycL instead of being defined in SubL, the underlying implementation language used by Cyc. Constants, variables, and non-atomic terms are all represented terms.
An Euler diagram of terms in Cyc.