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

**Documentation:**Minimum value cardinality is a constraint on the number of values to which a binary relation can map a domain instance. It implies the existence of at least N values for a given relation on an instance.

**Arity:**3

(Nth-Domain Minimum-Value-Cardinality 3 Nonnegative-Integer) (Nth-Domain Minimum-Value-Cardinality 2 Binary-Relation) (<=> (Minimum-Value-Cardinality ?Instance ?Binary-Relation ?N) (And (Binary-Relation ?Binary-Relation) (Nonnegative-Integer ?N) (>= (Value-Cardinality ?Instance ?Binary-Relation) ?N)))

**See-Also:**value-cardinality minimum-slot-cardinality