Relation MINIMUM-SLOT-CARDINALITY

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

Slots on this relation:

Documentation:

MINIMUM-VALUE-CARDINALITY specifies a lower bound on the number of range elements to which a given relation can map instance of a given domain class. In other words, it is the minimum number of slot values for a slot local to a class.

Instance-Of: Relation

Arity: 3

Equivalence Axioms:

(<=> (Minimum-Slot-Cardinality ?Domain-Class ?Relation ?N)
     (=> (Instance-Of ?Instance ?Domain-Class)
         (>= (Value-Cardinality ?Instance ?Relation) ?N)))

Axioms:

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

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

(Nth-Domain Minimum-Slot-Cardinality 1 Class)

Other Related Axioms:

(<=> (Minimum-Slot-Cardinality ?Domain-Class ?Relation ?N)
     (=> (Instance-Of ?Instance ?Domain-Class)
         (>= (Value-Cardinality ?Instance ?Relation) ?N)))

Notes:

• See-Also: MINIMUM-SLOT-CARDINALITY is inspired by the CLASSIC and Loom `AT-LEAST' operator.

  In KEE, MINIMUM-SLOT-CARDINALITY is called MIN.CARDINALITY.