This is the meta-level predicate for 'non-rigid' classes of a theory (cf. Wiggins, 1980: within a given theory, if A is an instance of a !type class C in a conceivable situation s1, there can be a conceivable s2 temporally different from s1 in which A is not an instance of C). From a modellistic viewpoint, such predicate identifies the classes which are defined as a 'reification' of a property or of a domain or range of a relation: for example definitions made by means of 'named' lambda formulas. This is also useful for the reification of complex constraints, e.g. applications of a composition of relations of heterogeneous arity, applications of a disjunction of relational expressions, etc. By convention, reified-property predicate names begin with a * (star) to be easily distinguished from other kinds of monadic predicates.
(Inherited-Slot-Value Reified-PropertyThe-Archetype Reified-Property) (=> (Reified-Property ?Self) (Exists (?Sit1) (And (Situation ?Sit1) (Context-Of ?Sit1 ?Self) (Forall (?X) (=> (Instance-Of ?X ?Self) (Exists (?Sit2) (And (Situation ?Sit2) (Context-Of ?Sit2 ?Self) (Context-Of ?Sit2 ?X) (Different ?Sit2 ?Sit1) (Follows ?Sit2 ?Sit1) (Exists (?A) (And (Not (Instance-Of ?X ?Self)) (Holds-At ?Sit2 ?A))))))))))