:P106i_forms_part_of

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

:P106i_forms_part_of a rdf:Property ;
    rdfs:label "bildet Teil von"@de,
        "αποτελεί μέρος του/της"@el,
        "forms part of"@en,
        "fait partie de"@fr,
        "faz parte de"@pt,
        "образу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 associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.
This property is transitive asymmetric.

Examples of the inverse property:
- This Scope note of property P106 (E33) is composed of ‘fragments of texts’ (E33).
- ‘recognizable’ (E90) is composed of ‘ecognizabl’ (E90).

In First Order Logic of the inverse property:
- P106(x,y) ⇒ E90(x)
- P106(x,y) ⇒ E90(y)
- [P106(x,y) ∧ P106(y,z)] ⇒ P106(x,z)
- P106(x,y) ⇒ ¬P106(y,x)
"""@en ;
    rdfs:domain :E90_Symbolic_Object ;
    rdfs:range :E90_Symbolic_Object ;
    owl:inverseOf :P106_is_composed_of .