Non-atomic reified term

Home / Glossary / Non-atomic reified term

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.

An Euler diagram of terms in Cyc.


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