Domain:

crmgeo:SP12 Spacetime Volume Expression

Range:

crmgeo:SP7 Declarative Spacetime Volume

Quantification:

1,n:1,1

Scope note:

This property associates an instance of SP12 Spacetime Volume Expression with the instance of SP7 Declarative Spacetime Volume it defines. Syntactic variants or use of different scripts may result in multiple instances of SP12 Spacetime Volume Expressions defining exactly the same SP7 Declarative Spacetime Volume. Transformations between different temporal or spatial reference systems in general result in new definitions of Spacetime Volumes approximating each other.

Examples:

No example yet.

In First Order Logic:

• Q16(x,y) ⇒ SP12(x)
• Q16(x,y) ⇒ SP7(y)