FORTS

function FORT-P : (object)
Return T iff OBJECT is a first order reified term (FORT).
Single value returned satisfies BOOLEANP. 

function EL-FORT-P : (object)
Returns t iff OBJECT is a fort or an EL formula.
Single value returned satisfies BOOLEANP. 

function FORT-EL-FORMULA : (fort)
Return the EL formula for any FORT.
FORT must satisfy FORT-P.
Single value returned satisfies CONSP or is NIL. 

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

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

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