@prefix rdf: . @prefix ecrm: . @prefix owl: . ecrm:P9_consists_of rdf:type owl:TransitiveProperty , owl:ObjectProperty . @prefix rdfs: . ecrm:P9_consists_of rdfs:subPropertyOf ecrm:P10i_contains ; owl:inverseOf ecrm:P9i_forms_part_of ; rdfs:label "P9 consists of"@en ; rdfs:domain ecrm:E4_Period ; rdfs:range ecrm:E4_Period ; rdfs:comment "Scope note:\nThis 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\nwithin the spacetime volume of the former.\nThis property is transitive.\n\n\nExamples:\n- Cretan Bronze Age (E4) consists of Middle Minoan (E4)\n\nIn First Order Logic:\nP9(x,y) \u2283 E4(x)\nP9(x,y) \u2283 E4(y)\nP9(x,y) \u2283 P10(y,x)"@en . @prefix xsd: . @prefix skos: . ecrm:P9_consists_of skos:notation "P9"^^xsd:string .