Class FUNTERM

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

Slots on this class:

Documentation: KIF function term expression.

Instance-Of: Class

Subclass-Of: List, Term

Equivalence Axioms:

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

Axioms:

(List ?Expr)

(Term ?Expr)

(Inherited-Facet-Value Slot-Cardinality Funterm First 1)

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

Other Related Axioms:

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