Class Many-One

• 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 ...

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

Arity@Frame-Ontology: 1

---

Slots:

Arity@Frame-Ontology: 2

Equivalence Axioms for Many-One:

(<=> (Many-One ?R) (And (Binary-Relation ?R) (Function ?R)))