exemplifies (is exemplified by) – P137

P137 exemplifies (is exemplified by)

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:

Object BM000098044 of the Clayton Herbarium (E20) exemplifies Spigelia marilandica (L.) L. (E55) in the taxonomic role lectotype

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 taxonThe 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 CIDOC CRM version 5.0.4 0

Examples

Show Example Language Namespace View details Comments
Object BM000098044 of the Clayton Herbarium (E20) exemplifies Spigelia marilandica (L.) L. (E55) in the taxonomic role lectotype en CIDOC CRM version 5.0.4 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P137

Official URI: http://www.cidoc-crm.org/cidoc-crm/P137_exemplifies
OntoME URI: https://ontome.net/ontology/p125

Domain and range

crm:E1 CRM Entity → P137 exemplifies (is exemplified by) → crm:E55 Type  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
exemplifies (is exemplified by) en 2022-06-13 0
exemplifie (est exemplifié par) fr 2024-12-22 0
поясняет (поясняется посредством) ru 2024-12-22 0
é exemplificado por (exemplifica) pt 2024-12-22 0
δειγματίζει (δειγματίζεται από) el 2024-12-22 0
erläutert (erläutert durch Beispiel) de 2024-12-22 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.3 2022-06-13
CIDOC CRM version 5.0.4 2022-06-13
CIDOC CRM version 6.2 2021-06-10

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E1 CRM Entity (0,n) P2 has type (is type of) (0,n) crm:E55 Type CIDOC CRM version 5.0.4 CIDOC CRM version 5.0.4 0

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
RiskMap ongoing 1 Ongoing 2024-05-22
Silknow working profile 1 Ongoing 2023-10-25

Comments