Class Funconst

• Defined in ontology: Kif-meta
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-meta.lisp

Subclass-Of@Frame-Ontology: Constant, Expression, Word

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: A symbol that denotes a function. Used as the functor of a term expression.

---

Slots:

Frame References to Funconst:

In class@frame-ontology Constant:

Exhaustive-Subclass-Partition@Frame-Ontology: {Funconst, Objconst, Relconst}

In class@frame-ontology Funterm:

Slots:

First:

Slot-Value-Type@Frame-Ontology: Funconst

Equivalence Axioms mentioning Funconst:

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

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