Class EXPRESSION

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

Slots on this class:

Documentation:

KIF expression is either a word or a list of expressions.

Axioms:

(<=> (Expression ?Expr)
     (Or (Word ?Expr)
         (And (List ?Expr)
              (Forall (?Subexpr)
                      (=> (Item ?Subexpr ?Expr)
                          (Expression ?Subexpr))))))