defop: kifoperator
A KIF deftop.