Class TERM

KIF term expression
Alias: Expression
Exhaustive-Subclass-Partition: {
Variable, Constant, Listterm, Setterm, Quoterm, Logterm, Quanterm}