P169 defines spacetime volume (spacetime volume is defined by) in version 7.1.1

Domain:

E95 Spacetime Primitive

Range:

E92 Spacetime Volume

Subproperty of:

E41 Appellation. P1i identifies (is identified by): E1 CRM Entity

Superproperty of: No superproperties found

Quantification:

many to one,necessary (1,1,0,n)

Scope Note:

This property associates an instance of E95 Spacetime Primitive with the instance of E92 Spacetime Volume it defines.

Examples:

{40°30'23N 21°14'53E, 40°31'40N 21°16'43E, 200BC-2020AD} (E95) defines spacetime volume Martin’s spatiotemporal enclosure 2020 for the evolution of the settlement of today’s city of Kastoria, Greece, since its conquest by the Romans (E92). [A square covering the current built settlement structure of Kastoria, Greece, through the years 200BC to 2020AD, which includes the extents of earlier phases of the city]

In First Order Logic:

P169(x,y) ⇒ E95(x), P169(x,y) ⇒ E92(y), P169(x,y) ⇒ P1i(x,y)