NARTS (Non Atomic Reified Terms)

function NART-P : (object)
Return T iff OBJECT is a datastructure implementing a non-atomic reified term (NART).
Single value returned satisfies BOOLEANP. 

function NART-ID : (nart)
Return the id of this NART.
NART must satisfy NART-P.
Single value returned satisfies INTEGERP. 

function FIND-NART-BY-ID : (id)
Return the NART with ID, or NIL if not present.
ID must satisfy INTEGERP.
Single value returned satisfies NART-P or is NIL. 

function NART-HL-FORMULA : (nart)
Return the hl formula of this NART.
NART must satisfy NART-P.
Single value returned satisfies CONSP or is NIL. 

function NART-EL-FORMULA : (nart)
Return the el formula of this NART.
NART must satisfy NART-P.
Single value returned satisfies CONSP or is NIL. 

function REMOVE-NART : (nart)
Remove NART from the KB.
NART must satisfy NART-P.
Single value returned satisfies NULL. 

function NART-COUNT : ()
Return the total number of NARTs.
Single value returned satisfies INTEGERP. 

macro DO-NARTS : ((var &optional (message "mapping Cyc NARTs")) &body body)
Iterate over all HL NART datastructures, executing BODY within the scope of VAR.
VAR is bound to the NART.
MESSAGE is a progress message string.