Relation Maximum-Value-Cardinality

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

Arity: 3

Documentation:

Maximum value cardinality is a constraint on the number of values to which a binary relation can map a domain instance. It restrict the relation to AT MOST N values for a given a domain instance. A cardinality of 0 means that the relation does not hold for that instance.

Notes:

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

Instance-Of: Relation, Set

Implication Axioms for Maximum-Value-Cardinality:

(=> (Maximum-Value-Cardinality ?Instance ?Binary-Relation ?N)
    (=< (Value-Cardinality ?Instance ?Binary-Relation) ?N))

Equivalence Axioms for Maximum-Value-Cardinality:

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

Axioms for Maximum-Value-Cardinality:

(Nonnegative-Integer ?N)

(Binary-Relation ?Binary-Relation)

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

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