Deprecated. For the purpose of formalizing intrinsic changes, a minimal chronoid universal D(c) is employed in order to capture the idea of observable differences during certain chronoids, whereas the change itself does not allow the observation of a difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach.
Attributes | Values |
---|---|
type | |
comment |
|
disjointWith | |
subClassOf | |
described by | |
is equivalentClass of | |
is disjointWith of | |
is topic of |