crm:P137_exemplifies leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P137_exemplifies a owl:ObjectProperty ;
    rdfs:label "P137 exemplifies"@en ;
    rdfs:comment """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,z) ⊃ [P137(x,y) ∧ E55(z)]
P137(x,y) ⊃ P2(x,y)

Properties: P137.1 in the taxonomic role: E55 Type"""@en ;
    rdfs:domain crm:E1_CRM_Entity ;
    rdfs:range crm:E55_Type ;
    rdfs:subPropertyOf crm:P2_has_type ;
    owl:equivalentProperty ecrm:P137_exemplifies ;
    owl:inverseOf crm:P137i_is_exemplified_by ;
    skos:notation "P137"^^xsd:string .