Class QUOTERM

KIF quoted term expression.
Subclass-Of: List, Term
Axioms:
(<=> (Quoterm ?Expr)
     (And (Term ?Expr)
          (List ?Expr)
          (= (First ?Expr) 'Quote)
          (Expression (First (First ?Expr)))))