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))))))))))