exemplifies (is exemplified by) – P137
P137 exemplifies (is exemplified by)
Domain:
Range:
Subproperty of:
Quantification:
0,n:0,n
Scope note:
This property allows an item to be declared as a particular example of an E55 Type or taxon The P137.1 in the taxonomic role
property of P137 exemplifies (is exemplified by) allows differentiation of taxonomic roles. The taxonomic role renders the specific
relationship of this example to the Type, such as "prototypical", "archetypical", "lectotype", etc. The taxonomic role "lectotype" is not
associated with the Type Creation (E83) itself, but selected in a later phase.
Examples:
No example yet.
In First Order Logic:
- P137(x,y) ⊃ E1(x)
- P137(x,y) ⊃ E55(y)
- P137(x,y) ⊃ P2(x,y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This property allows an item to be declared as a particular example of an E55 Type or taxon The P137.1 in the taxonomic role property of P137 exemplifies (is exemplified by) allows differentiation of taxonomic roles. The taxonomic role renders the specific relationship of this example to the Type, such as "prototypical", "archetypical", "lectotype", etc. The taxonomic role "lectotype" is not associated with the Type Creation (E83) itself, but selected in a later phase. | en | WIP | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Language | Namespace | View details | Comments |
|---|
Identifier : P137
Domain and range
E1 CRM Entity → P137 exemplifies (is exemplified by) → E55 Type (Quantifiers 0,n:0,n)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| erläutert * | de | 2018-09-14 | 0 | |
| δειγματίζει * | el | 2018-09-14 | 0 | |
| exemplifies (is exemplified by) * | en | 2020-08-26 | 0 | |
| exemplifie * | fr | 2018-09-14 | 0 | |
| é exemplificado por * | pt | 2018-09-14 | 0 | |
| поясняет * | ru | 2018-09-14 | 0 | |
| 例示了 * | zh | 2018-09-14 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM version 6.2 | 2020-08-26 |
Parent properties
| Domain | Property | Range | Justification | Relation namespace | View details | Comments | ||
|---|---|---|---|---|---|---|---|---|
| CRM Entity – E1 | (0,n) | P2 has type (is type of) | (0,n) | Type – E55 | CIDOC CRM version 6.2 | 0 |
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Justification | Relation namespace | View details | Comments |
|---|
Profiles using this class
| Label | Start date | End date | Last updated |
|---|---|---|---|
| Silknow working profile | 2020-02-21 |
Comments
No comment found.