Class One-To-Many-Relation in theory Frame-Ontology

Class ONE-TO-MANY-RELATION

Subclass-Of: Binary-relation

Axioms:

(Slot-Cardinality One-To-Many-Relation Inverse 1)

(Slot-Value-Type One-To-Many-Relation Inverse Function)

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

Defined in theory: Frame-ontology
Source code: frame-ontology.lisp