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.
An Euler diagram of terms in Cyc.