constant: term
A KIF constant.