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.


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