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

:P9_consists_of a rdf:Property ;
    rdfs:label "setzt sich zusammen aus"@de,
        "αποτελείται από"@el,
        "consists of"@en,
        "comprend"@fr,
        "consiste de"@pt,
        "состоит из"@ru,
        "包括"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
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:
- Cretan Bronze Age (E4) consists of Middle Minoan (E4). (Hood, 1971)

In First Order Logic:
- 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 :P10i_contains ;
    owl:inverseOf :P9i_forms_part_of .