@prefix rdf: . @prefix ecrm: . @prefix owl: . ecrm:P5_consists_of rdf:type owl:ObjectProperty , owl:TransitiveProperty ; owl:inverseOf ecrm:P5i_forms_part_of . @prefix rdfs: . ecrm:P5_consists_of rdfs:label "P5 consists of"@en ; rdfs:domain ecrm:E3_Condition_State ; rdfs:range ecrm:E3_Condition_State ; rdfs:comment "Scope note:\nThis property describes the decomposition of an 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 \u2013 and that the sub-states are in fact constitutive of the general condition state. For example, a general condition state of \u201Cin ruins\u201D may be decomposed\ninto the individual stages of decay.\nThis property is transitive\n\nExamples:\n- The Condition State of the ruined Parthenon (E3) consists of the bombarded state after the explosion of a Venetian shell in 1687 (E3)\n\nIn First Order Logic:\nP5(x,y) \u2283 E3(x)\nP5(x,y) \u2283 E3(y)"@en . @prefix xsd: . @prefix skos: . ecrm:P5_consists_of skos:notation "P5"^^xsd:string .