:P137i_is_exemplified_by leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P137i_is_exemplified_by a rdf:Property ;
    rdfs:label "erläutert durch Beispiel"@de,
        "δειγματίζεται από"@el,
        "is exemplified by"@en,
        "est exemplifié par"@fr,
        "exemplifica"@pt,
        "иллюстрируeтся"@ru,
        "被例示"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
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 is selected in a later phase.

Examples of the inverse property:
- Object BM000098044 of the Clayton Herbarium (E20) exemplifies ‘Spigelia marilandica’ (L.) L. (E55) in the taxonomic role lectotype (E55). (Natural History Museum, 2021)

In First Order Logic of the inverse property:
- 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)
"""@en ;
    rdfs:domain :E55_Type ;
    rdfs:range :E1_CRM_Entity ;
    rdfs:subPropertyOf :P2i_is_type_of ;
    owl:inverseOf :P137_exemplifies .