A 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.
![](https://www.cyc.com/wp-content/uploads/2019/11/Terms.png)
An Euler diagram of terms in Cyc.