int type(void)
Returns the type of the KIF object. This may be one of:
EXPRESSION, SENTENCE, TERM, NODE, LIST, KWORD, CONSIS_, OBJECTDEF, FUNCTIONDEF, RELATIONDEF, CONSTANT_, INDVAR_, NUMBER_, STRING_, FUNCONST, RELCONST, OBJCONST, SEQVAR_, LISTTERM, SETTERM, QUOTERM, LOGTERM, IFTERM, FUNCTERM, EQUATION, CONJUNCTION, DISJUNCTION, IMPLICATION, EQUIVALENCE, QUANTSENT, UNIVERSENT, EXISTENSENT, RELSENT, LOGCONST, KIFOPERATOR, TERMOP, SENTOP, DEFOP, INEQUALITY, NEGATION, RULEOP, RULE, SETOFALLTERM, KIFOBJ, SEQUENCE, KIFNULLOBJ, UKCONST.