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