First order reified term

Home / Glossary / First order reified term

first-order reified term or FORT, represented in the Cyc Knowledge Base by #$CycLReifiedDenotationalTerm, is a represented term in CycL that is reified in the KB. There are two types of FORTs: constants and non-atomic reified terms.

An Euler diagram of terms in Cyc.


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