:P59i_is_located_on_or_within 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#> .

:P59i_is_located_on_or_within a rdf:Property ;
    rdfs:label "befindet sich auf oder in"@de,
        "βρίσκεται σε ή εντός"@el,
        "is located on or within"@en,
        "se situe sur ou dans"@fr,
        "está localizada sobre ou dentro de"@pt,
        "размeщ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 links an area, i.e., an instance of E53 Place to the instance of E18 Physical Thing upon which it is found. This area may either be identified by a name, or by a geometry in terms of a coordinate system adapted to the shape of the respective instance of E18 Physical Thing. Typically, names identifying sections of physical objects are composed of the name of a kind of part and the name of the object itself, such as “The poop deck of H.M.S. Victory”, which is composed of “poop deck” and “H.M.S. Victory”.

Examples of the inverse property:
- HMS Victory (E22) has section HMS Victory section B347.6 (E53). (Goodwin, 2015)

In First Order Logic of the inverse property:
- P59(x,y) ⇒ E18(x)
- P59(x,y) ⇒ E53(y)
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range :E18_Physical_Thing ;
    rdfs:subPropertyOf :P157_is_at_rest_relative_to ;
    owl:inverseOf :P59_has_section .