ruleop: kifoperator
A KIF ruleop.