Class LISTTERM

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

Slots on this class:

Documentation: KIF list term expression

Instance-Of: Class

Subclass-Of: List, Term

Equivalence Axioms:

(<=> (Listterm ?Expr)
     (And (Term ?Expr) (List ?Expr) (= (First ?Expr) (Quote Listof))))

Axioms:

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

(List ?Expr)

(Term ?Expr)

Other Related Axioms:

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

(<=> (Listterm ?Expr)
     (And (Term ?Expr) (List ?Expr) (= (First ?Expr) (Quote Listof))))