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.

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