corresponds to – P7
Validation status: Validated
This property cannot be validated because its domain and/or range is not validated.
P7 corresponds to
Domain:
Range:
Quantification:
0,n:0,n
Scope note:
This property states that the two associated instances of the two classes (and all their descendant classes) correspond to the same thing. It is therefore an owl:equivalentProperty of the owl:sameAs property (or construct) with a slightly different meaning because it associates unique representations of phenomena (in the Geovistory information system) with virtually redundant mentions of phenomena in any existing namespace.
Examples:
No example yet.
In First Order Logic:
- P7(x,y) ⇒ C5(x)
- P7(x,y) ⇒ E1(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments | Validation |
|---|---|---|---|---|---|---|
| This property states that the two associated instances of the two classes (and all their descendant classes) correspond to the same thing. It is therefore an owl:equivalentProperty of the owl:sameAs property (or construct) with a slightly different meaning because it associates unique representations of phenomena (in the Geovistory information system) with virtually redundant mentions of phenomena in any existing namespace. | en | Geovistory (ongoing) | 0 | Validated |
Examples
| Show | Example | Language | Namespace | View details | Comments | Validation |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments | Validation |
|---|
Identifier: P7
Official URI: https://ontome.net/ns/geovistory/P7
OntoME URI: https://ontome.net/ontology/p1319
Domain and range
geov:C5 Data entity → P7 corresponds to → crm:E1 CRM Entity (Quantifiers 0,n:0,n)
Labels
| Label | Language | Last updated | View details | Comments | Validation |
|---|---|---|---|---|---|
| corresponds to * | en | 2025-06-16 | 0 | Validated |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| Geovistory (ongoing) | 2020-08-03 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments | Validation |
|---|
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 | Validation |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.