Relation QUALIFIED-ROLE-MIN-VALUE

Given a concept, a relation and a qualifier,

return the minimum numeric value of the corresponding role.

Arity: 4
Range: Quantity
Axioms:
(Nth-Domain Qualified-Role-Min-Value 3 Unary-Relation)

(Nth-Domain Qualified-Role-Min-Value 2 Relation)

(Nth-Domain Qualified-Role-Min-Value 1 Unary-Relation)