Class TERMOP

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp

Slots on this class:

Documentation:

KIF term operator

Subclass-Of: Operator

All-Instances: {

'Quote, 'Listof, 'Cond, 'The, 'Setof, 'Setofall, 'Kappa, 'Lambda}