Class WORD

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

Slots on this class:

Documentation: An atom in a KIF expression.

Instance-Of: Class

Subclass-Of: Expression

Exhaustive-Subclass-Partition: {Constant, Operator, Variable}

Superclass-Of: Constant, Operator, Variable

Axioms:

(Not (List ?Expr))

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))))))

(=> (Word ?Expr) (Not (List ?Expr)))