Term

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.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA