Relation ROLE-TYPES

Given a concept and a relation, return the type restriction(s) for that relation. If multiple values are returned, then the true type restriction is the conjunctions of the returned types.

Arity: 3

Range: Unary-relation

Axioms:

(Nth-Domain Role-Types 2 Relation)

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

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