Class One-To-Many-Relation

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

Arity: 1

Instance-Of: Class, Relation, Set

Subclass-Of: Binary-Relation, Relation, Set

---

Slots:

Arity: 2

Inverse:

Slot-Cardinality: 1

Slot-Value-Type: Function

Equivalence Axioms for One-To-Many-Relation:

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