A non-atomic reified term or NART (rhymes with “cart”), represented in the Cyc Knowledge Base by #$CycLNonAtomicReifiedTerm
, is a non-atomic term which has been reified. NARTs are a type of FORT, the other type being constants.
![](https://www.cyc.com/wp-content/uploads/2019/11/Terms.png)
An Euler diagram of terms in Cyc.