Relation ROLE-MIN-VALUE

Given a concept and a relation, return the minimum numeric value of the corresponding role.

Arity: 3

Range: Quantity

Axioms:

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

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

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp