P137 exemplifie (est exemplifié par)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

Domaine

E1 CRM Entity

E1_Entité_CRM

Portée

E55 Type

E55_Type

Sous-propriété de

E1 CRM Entity. P2 has type (is type of): E55 Type

E1_Entité_CRM. P2_a_pour_type (est_le_type_de) : E55_Type

Super-propriété de
Quantification

many to many (0,n:0,n)

plusieurs à plusieurs (0,n:0,n)

Note d’application

This property associates an instance of E1 CRM Entity with an instance of E55 Type for which it has been declared to be a particularly characteristic example.

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 instance of E83 Type Creation itself, but selected in a later phase.

Cette propriété associe une instance de E1_Entité_CRM à une instance de E55_Type de laquelle elle a été déclarée comme étant un exemple caractéristique.

La propriété P137.1_dans_le_rôle_taxonomique_de de P137_exemplifie (est_exemplifié_par) permet la distinction des rôles taxonomiques. Ces derniers présentent la relation spécifique entre l’exemplaire et le type, par exemple « prototypique », « archétypique », « lectotype », etc. Le rôle taxonomique « lectotype » n’est pas associé à l’instance de E83_Création_de_type elle-même, mais sélectionné ultérieurement.

Exemples
  • Object BM000098044 of the Clayton Herbarium (E20) exemplifies Spigelia marilandica (L.) L. (E55) in the taxonomic role lectotype (Savage, 1945)

  • L’objet BM000098044 de l’Herbier Clayton (E20_Objet_biologique) exemplifie (P137_exemplifie) Spigelia marilandica (L.) L. (E55_Type) dans le rôle taxonomique (P137.1_dans_le_rôle_taxonomique_de) « lectotype » (Savage, 1945)

Logique

P137(x,y) ⇒ E1(x)

P137(x,y) ⇒ E55(y)

P137(x,y,z) ⇒ [P137(x,y) ∧ E55(z)]

P137(x,y) ⇒ P2(x,y)

P137(x,y) ⇒ E1(x)

P137(x,y) ⇒ E55(y)

P137(x,y,z) ⇒ [P137(x,y) ∧ E55(z)]

P137(x,y) ⇒ P2(x,y)

Propriétés

P137.1 in the taxonomic role: E55 Type

P137.1_dans_le_rôle_taxonomique_de : E55_Type

Note de traduction
Références