SubL atomic terms, represented in the Cyc Knowledge Base by #$SubLAtomicTerm, are atomic terms that are not represented terms in CycL. Rather, they are represented in SubL, the underlying implementation language of the Cyc system. “Atomic” here means not constructable from other terms via the SubL syntax. Examples include the terms 212, :NOUN, #x, and VARIABLE-P.
An Euler diagram of terms in Cyc.