Class QUOTERM

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

Slots on this class:

Documentation: KIF quoted term expression.

Instance-Of: Class

Subclass-Of: List, Term

Equivalence Axioms:

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

Axioms:

(Expression (First (First ?Expr)))

(= (First ?Expr) (Quote Quote))

(List ?Expr)

(Term ?Expr)

Other Related Axioms:

(Exhaustive-Subclass-Partition Term
                               (Setof Variable
                                      Constant
                                      Listterm
                                      Setterm
                                      Quoterm
                                      Logterm
                                      Quanterm))

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