Atomic term

Home / Glossary / Atomic term

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.

An Euler diagram of terms in Cyc.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA