Class FUNTERM

KIF function term expression.
Subclass-Of: List, Term
Axioms:
(Slot-Cardinality Funterm First 1)

(Slot-Value-Type Funterm First Funconst)

(<=> (Funterm ?Expr)
     (And (Term ?Expr)
          (List ?Expr)
          (Value-Type ?Expr First Funconst)
          (Value-Cardinality ?Expr First 1)))