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.

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