Relation QUALIFIED-ROLE-CARDINALITY

Given a concept, a relation and a qualifier,

return the cardinality of the corresponding role.

Note that cardinality only exists if the min and max are the same.

Arity: 4
Range: Integer
Subrelation-Of: Qualified-role-max-cardinality, Qualified-role-min-cardinality
Axioms:
(Nth-Domain Qualified-Role-Cardinality 3 Unary-Relation)

(Nth-Domain Qualified-Role-Cardinality 2 Relation)

(Nth-Domain Qualified-Role-Cardinality 1 Unary-Relation)

(<=> (Qualified-Role-Cardinality ?A ?B ?C ?D)
     (And (Qualified-Role-Min-Cardinality ?A ?B ?C ?D)
          (Qualified-Role-Max-Cardinality ?A ?B ?C ?D)))