Class FUNCONST

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

Slots on this class:

Documentation:

A symbol that denotes a function. Used as the functor of a term expression.

Instance-Of: Class

Subclass-Of: Constant

Other Related Axioms:

(Exhaustive-Subclass-Partition Constant
                               (Setof Funconst Relconst Objconst))

(Inherited-Facet-Value Slot-Value-Type Funterm First Funconst)

(<=> (Funterm ?Expr)
     (And (Term ?Expr)
          (List ?Expr)
          (Value-Type ?Expr First Funconst)
          (Value-Cardinality ?Expr First 1)))

(Exists (?R ?Tlist)
        (And (Or (Relconst ?R) (Funconst ?R))
             (List ?Tlist)
             (>= (Length ?Tlist) 1)
             (=> (Item ?T ?Tlist) (Term ?T))
             (= ?X (Cons ?R ?Tlist))))

(<=> (Relsent ?X)
     (Exists (?R ?Tlist)
             (And (Or (Relconst ?R) (Funconst ?R))
                  (List ?Tlist)
                  (>= (Length ?Tlist) 1)
                  (=> (Item ?T ?Tlist) (Term ?T))
                  (= ?X (Cons ?R ?Tlist)))))