Relation MINIMUM-VALUE-CARDINALITY

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

Slots on this relation:

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.

Instance-Of: Relation

Arity: 3

Equivalence Axioms:

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

Axioms:

(Nth-Domain Minimum-Value-Cardinality 3 Nonnegative-Integer)

(Nth-Domain Minimum-Value-Cardinality 2 Binary-Relation)

Other Related Axioms:

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

Notes:

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