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.

Instance-Of: Class

Has-Instance:

(First (First ?Expr))

Superclass-Of: Sentence, Word

Equivalence Axioms:

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

Axioms:

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

Other Related Axioms:

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

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

(Alias Term Expression)

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