Relation STRICT-ROLE-VALUES

Given a concept and a relation, return the strict fillers of the

corresponding role.

Arity: 3

Axioms:

(Nth-Domain Strict-Role-Values 2 Relation)

(Nth-Domain Strict-Role-Values 1 Unary-Relation)

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