defines spacetime volume – Q16
Q16 defines 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)
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 | CRMgeo version 1.2 | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: Q16
Official URI: http://www.ics.forth.gr/isl/CRMgeo/Q16_defines_spacetime_volume
OntoME URI: https://ontome.net/ontology/p1062
Domain and range
crmgeo:SP12 Spacetime Volume Expression → Q16 defines spacetime volume → crmgeo:SP7 Declarative Spacetime Volume (Quantifiers 1,n:1,1)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| defines spacetime volume * | en | 2021-06-10 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CRMgeo version 1.2 | 2020-09-02 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.