Represented term

Home / Glossary / Represented term

Represented terms, represented in the Cyc Knowledge Base by #$CycLRepresentedTerm, are denotational terms that are represented in CycL instead of being defined in SubL, the underlying implementation language used by Cyc. Constants, variables, and non-atomic terms are all represented terms.

An Euler diagram of terms in Cyc.

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