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.
![](https://www.cyc.com/wp-content/uploads/2019/11/Terms.png)
An Euler diagram of terms in Cyc.