:P128i_is_carried_by

@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#> .

:P128i_is_carried_by a rdf:Property ;
    rdfs:label "wird getragen von"@de,
        "φέρεται από"@el,
        "is carried by"@en,
        "a pour support"@fr,
        "é suportado por"@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 identifies an instance E90 Symbolic Object carried by an instance of E18 Physical Thing. Since an instance of E90 Symbolic Object is defined as an immaterial idealization over potentially multiple carriers, any individual realization on a particular physical carrier may be defective, due to deterioration or shortcomings in the process of creating the realization compared to the intended ideal. As long as such defects do not substantially affect the complete recognition of the respective symbolic object, it is still regarded as carrying an instance of this E90 Symbolic Object. If these defects are of scholarly interest, the particular realization can be modelled as an instance of E25 Human-Made Feature. Note, that any instance of E90 Symbolic Object incorporated (P165) in the carried symbolic object is also carried by the same instance of E18 Physical Thing.

Examples of the inverse property:
- Matthew’s paperback copy of Reach for the Sky (E18) carries the text of Reach for the Sky (E73). [see also: (Brickhill, 2001)] (fictitious)

In First Order Logic of the inverse property:
- P128(x,y) ⇒ E18(x)
- P128(x,y) ⇒ E90(y) 
- P128(x,y) ⇒ P130(x,y)
"""@en ;
    rdfs:domain :E90_Symbolic_Object ;
    rdfs:range :E18_Physical_Thing ;
    rdfs:subPropertyOf :P130i_features_are_also_found_on ;
    owl:inverseOf :P128_carries .