A term, represented in the Cyc Knowledge Base by #$CycLTerm
, is anything that can be an argument to a predicate or function. Variables are terms. Constants and reified NATs are terms. Non-reified NATs are terms. Numbers, strings, or even entire formulas can serve as terms.
![](https://www.cyc.com/wp-content/uploads/2019/11/Terms.png)
An Euler diagram of terms in Cyc.