Class One-Many

• 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, Relation, Set

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

Arity@Frame-Ontology: 1

---

Slots:

Inverse:

Slot-Cardinality@Frame-Ontology: 1

Slot-Value-Type@Frame-Ontology: Function

Arity@Frame-Ontology: 2

Equivalence Axioms for One-Many:

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