Class QUOTERM

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp

Slots on this class:

Documentation:

KIF quoted term expression.

Subclass-Of: List, Term

Axioms:

(<=> (Quoterm ?Expr)
     (And (Term ?Expr)
          (List ?Expr)
          (= (First ?Expr) (Quote Quote))
          (Expression (First (First ?Expr)))))