Class
RULEOP
KIF rule operator
Subclass-Of
:
Operator
All-Instances
:
{
'=>>, '<<=
}
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp