"P117 occurs during"@en . . . "P117"^^ . . . "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 . .