setofallterm: quanterm
A KIF setofallterm.