Class REIFIED-ROLE

This is for reified-property classes which reify an actantial concept. It implements the common sense notion of 'role' (such as student, agent, etc.).
Subclass-Of: Reified-property
Axioms:
(Inherited-Slot-Value Reified-Role The-Archetype Reified-Property)

(=> (Reified-Role ?Self)
    (Forall (?X)
            (=> (Instance-Of ?X ?Self)
                (Exists (?Y ?S)
                        (And (Entity ?Y)
                             (Relation ?S)
                             (Superrelations ?S Actantial-Relation)
                             (Holds-True-3 ?S ?X ?Y))))))