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

:P9i_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 E4 Period with another instance of E4 Period that is defined by a subset of the phenomena that define the former. Therefore, the spacetime volume of the latter must fall within the spacetime volume of the former.
This property is transitive and asymmetric.

Examples of the inverse property:
- Cretan Bronze Age (E4) consists of Middle Minoan (E4). (Hood, 1971)

In First Order Logic of the inverse property:
- P9(x,y) ⇒ E4(x)
- P9(x,y) ⇒ E4(y)
- P9(x,y) ⇒ P10(y,x)
- [P9(x,y) ∧ P9(y,z)] ⇒ P9(x,z)
- P9(x,y) ⇒ ¬P9(y,x)
"""@en ;
    rdfs:domain :E4_Period ;
    rdfs:range :E4_Period ;
    rdfs:subPropertyOf :P10_falls_within ;
    owl:inverseOf :P9_consists_of .