Relation QUALIFIED-ROLE-TYPES

Given a concept, a relation and a qualifier,

return the type restriction for that relation.

Arity: 4

Range: Unary-relation

Axioms:

(Nth-Domain Qualified-Role-Types 3 Unary-Relation)

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

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

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