An atomic term, represented in the Cyc Knowledge Base by #$CycLAtomicTerm
, is a denotational term that cannot be composed of other terms. Constants (e.g., #$Dog
), variables (e.g., ?X
), and SubL atomic terms are all atomic terms. Denotational terms that are not atomic are non-atomic terms.
![](https://www.cyc.com/wp-content/uploads/2019/11/Terms.png)
An Euler diagram of terms in Cyc.