crm:P59_has_section 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:P59_has_section a owl:ObjectProperty ;
    rdfs:label "P59 has section"@en ;
    rdfs:comment """Scope note:
This property links an area to the instance of E18 Physical Thing upon which it is found.

It is typically used when a named E46 Section Definition is not appropriate.
E18 Physical Thing may be subdivided into arbitrary regions.

P59 has section (is located on or within) is a shortcut. If the E53 Place is identified by a Section Definition, a more detailed representation can make use of the fully developed (i.e. indirect) path from E18 Physical Thing through P58 has section definition (defines section), E46 Section Definition, P87 is identified by (identifies) to E53 Place. A Place can only be located on or within one Physical Object.

Examples:
- HMS Victory (E22) has section HMS Victory section B347.6 (E53)

In First Order Logic:
P59(x,y) ⊃ E18(x)
P59(x,y) ⊃ E53(y)"""@en ;
    rdfs:domain crm:E18_Physical_Thing ;
    rdfs:range crm:E53_Place ;
    rdfs:subPropertyOf crm:P157i_provides_reference_space_for ;
    owl:equivalentProperty ecrm:P59_has_section ;
    owl:inverseOf crm:P59i_is_located_on_or_within ;
    skos:notation "P59"^^xsd:string .