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

Domain:

E95 Spacetime Primitive

Range:

E92 Spacetime Volume

Subproperty of:

No subproperties found

Superproperty of: No superproperties found

Scope Note:

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

Subproperty of: E41Appellation. P1i identifies: E1CRM Entity

Examples:

{40°30'23"N 21°14'53"E, 40°31'40"N 21°16'43"E, 200BC-2020AD} (E95) defines spacetime volumeMartin’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)