Class TERMOP

KIF term operator
Subclass-Of: Operator
All-Instances: {
'Quote, 'Listof, 'Cond, 'The, 'Setof, 'Setofall, 'Kappa, 'Lambda}