defines spacetime volume – Q16
Q16 defines spacetime volume
Domain:
Quantification:
No quantifiers yet.
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)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
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. | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : Q16
Domain and range
SP12 Spacetime Volume Expression → Q16 defines spacetime volume → SP7 Declarative Spacetime Volume
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
defines spacetime volume * | en | 2019-01-23 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
CRMgeo version 1.2 | 2019-12-04 |
Parent properties
Domain | Property | Range | Justification | Defined in namespace | View association |
---|
Ancestor properties
Domain | Property | Range | Depth | Defined in namespace |
---|
Childs and descendant properties
Domain | Property | Range | Depth | Defined in namespace |
---|
Related properties
Relation | Property | Justification | Defined in namespace | View details |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|
Comments
No comment found.