Home / Glossary / Term

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.

An Euler diagram of terms in Cyc.