Class OPERATOR

KIF operator
Subclass-Of: Term, Word
Exhaustive-Subclass-Partition: {
Termop, Sentop, Ruleop, Defop}