occupied – Q1
Q1 occupied
Domain:
Quantification:
0,n:1,1
Scope note:
This property associates an instance of E4 Period with the 4 dimensional point sets (volumes) in spacetime that it occupied. This instance of SP1 Phenomenal
Spacetime Volume includes the trajectories of the participating physical things during their participation in the instance of E4 Period, the open spaces via which they have interacted and the spaces by which they had the potential to interact during that period or event in the way defined by the type of the respective period or event, such as the air in a meeting room transferring the voices. It also comprises the areas controlled by some military power. Therefore instances of E4 Period have fuzzy boundaries in spacetime.
Examples:
No example yet.
In First Order Logic:
- Q1(x,y) ⇒ E4(x)
- Q1(x,y) ⇒ SP1(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This property associates an instance of E4 Period with the 4 dimensional point sets (volumes) in spacetime that it occupied. This instance of SP1 PhenomenalSpacetime Volume includes the trajectories of the participating physical things during their participation in the instance of E4 Period, the open spaces via which they have interacted and the spaces by which they had the potential to interact during that period or event in the way defined by the type of the respective period or event, such as the air in a meeting room transferring the voices. It also comprises the areas controlled by some military power. Therefore instances of E4 Period have fuzzy boundaries in spacetime. | 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: Q1
Official URI: http://www.ics.forth.gr/isl/CRMgeo/Q1_occupied
OntoME URI: https://ontome.net/ontology/p1046
Domain and range
crm:E4 Period → Q1 occupied → crmgeo:SP1 Phenomenal Spacetime Volume (Quantifiers 0,n:1,1)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| occupied * | 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.