Class Unary-Function

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

Subclass-Of@Frame-Ontology:

Binary-Relation, Function, Relation, Set ...

Superclass-Of@Frame-Ontology: One-To-One-Relation@Frame-Ontology

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

A unary function is a function with a single argument and a single value. Hence, it is also a binary relation.

---

Slots:

Arity@Frame-Ontology: 2

Equivalence Axioms for Unary-Function:

(<=> (Unary-Function ?F) (And (Function ?F) (Binary-Relation ?F)))

Implication Axioms mentioning Unary-Function:

(=> (One-To-One-Relation@Frame-Ontology ?R) (Unary-Function ?R))

Equivalence Axioms mentioning Unary-Function:

(<=> (One-To-One-Relation@Frame-Ontology ?R)
     (And (Unary-Function ?R)
          (Value-Type@Frame-Ontology ?R Inverse Function)
          (Value-Cardinality@Frame-Ontology ?R Inverse 1)))