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

:P5i_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 describes the decomposition of an instance of E3 Condition State into discrete, subsidiary states. 
It is assumed that the sub-states into which the condition state is analysed form a logical whole, although the entire story may not be completely known, and that the sub-states are in fact constitutive of the general condition state. For example, a general condition state of “in ruins” may be decomposed into the individual stages of decay. 
This property is transitive and asymmetric.

Examples of the inverse property:
- The Condition State of the ruined Parthenon (E3) consists of the bombarded state after the explosion of a Venetian shell in 1687 (E3). (Mommsen, 1941)

In First Order Logic of the inverse property:
- P5(x,y) ⇒ E3(x)
- P5(x,y) ⇒ E3(y)
- [P5(x,y) ∧ P5(y,z)] ⇒ P5(x,z)
- P5(x,y) ⇒ ¬P5(y,x)
"""@en ;
    rdfs:domain :E3_Condition_State ;
    rdfs:range :E3_Condition_State ;
    owl:inverseOf :P5_consists_of .