@prefix rdf: . @prefix ecrm: . @prefix owl: . ecrm:P117_occurs_during rdf:type owl:TransitiveProperty , owl:ObjectProperty ; owl:inverseOf ecrm:P117i_includes . @prefix rdfs: . ecrm:P117_occurs_during rdfs:label "P117 occurs during"@en ; rdfs:domain ecrm:E2_Temporal_Entity ; rdfs:range ecrm:E2_Temporal_Entity ; rdfs:comment "Scope note:\nThis property allows the entire E52 Time-Span of an E2 Temporal Entity to be situated within the Time-Span of another temporal entity that starts before and ends after the included temporal entity.\n\nThis property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the \"during / includes\" relationships of Allen\u2019s temporal logic (Allen, 1983, pp. 832-843).\n\nExamples:\n- Middle Saxon period (E4) occurs during Saxon period (E4)\n\nIn First Order Logic:\nP117(x,y) \u2283 E2(x)\nP117(x,y) \u2283 E2(y)"@en . @prefix xsd: . @prefix skos: . ecrm:P117_occurs_during skos:notation "P117"^^xsd:string .