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

:P56i_is_found_on a rdf:Property ;
    rdfs:label "wird gefunden auf"@de,
        "βρίσκεται σε"@el,
        "is found on"@en,
        "se trouve sur"@fr,
        "é encontrada em"@pt,
        "встрeчаeтся на"@ru,
        "发现于"@zh ;
    rdfs:comment """Quantification of the inverse property: one to many, dependent (0,n:1,1)

Scope note of the inverse property:
This property links an instance of E19 Physical Object to an instance of E26 Physical Feature that it bears.
An instance of E26 Physical Feature can only exist on one object. One object may bear more than one E26 Physical Feature. An instance of E27 Site should be considered as an instance of E26 Physical Feature on the surface of the Earth.
An instance B of E26 Physical Feature being a detail of the structure of another instance A of E26 Physical Feature can be linked to B by use of the property P46 is composed of (forms part of). This implies that the subfeature B is P56i is found on the same E19 Physical Object as A. 
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path E19 Physical Object, through, P59 has section, E53 Place, P53i is former or current location of to E26 Physical Feature.

Examples of the inverse property:
- Silver cup 232 (E22) bears feature 32 mm scratch on silver cup 232 (E26). (fictitious)

In First Order Logic of the inverse property:
- P56(x,y) ⇒E19(x)
- P56(x,y) ⇒ E26(y)
- P56(x,y) ⇒ P46(x,y)
- P56(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]
"""@en ;
    rdfs:domain :E26_Physical_Feature ;
    rdfs:range :E19_Physical_Object ;
    rdfs:subPropertyOf :P46i_forms_part_of ;
    owl:inverseOf :P56_bears_feature .