Relation STRICT-QUALIFIED-ROLE-VALUES

Given a concept, a relation and a qualifier,

return the strict fillers of the corresponding role.

Arity: 4

Axioms:

(Nth-Domain Strict-Qualified-Role-Values 3 Unary-Relation)

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

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

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