Class FUNTERM

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

Slots on this class:

Documentation:

KIF function term expression.

Subclass-Of: List, Term

Axioms:

(Slot-Cardinality Funterm First 1)

(Slot-Value-Type Funterm First Funconst)

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