@prefix rdf: . @prefix ecrm: . @prefix owl: . ecrm:P10_falls_within rdf:type owl:TransitiveProperty , owl:ObjectProperty ; owl:inverseOf ecrm:P10i_contains . @prefix rdfs: . ecrm:P10_falls_within rdfs:label "P10 falls within"@en ; rdfs:domain ecrm:E92_Spacetime_Volume ; rdfs:range ecrm:E92_Spacetime_Volume ; rdfs:comment "Scope note:\nThis property associates an instance of E4 Period with another instance of E4 Period that falls within the spacetime volumes occupied by the latter.In other words, all points in the former are also points in the latter. This property is transitive.\n\nExamples:\n- the Great Plague (E4) falls within The Gothic period (E4)\n\nIn First Order Logic:\nP10(x,y) \u2283 E92(x)\nP10(x,y) \u2283 E92(y)"@en . @prefix xsd: . @prefix skos: . ecrm:P10_falls_within skos:notation "P10"^^xsd:string .