P4 has time-span (is time-span of) in version 7.1.1

Domain:
E2 Temporal Entity
Range:
E52 Time-Span
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to one,necessary (1,1,0,n)
Scope Note:

This property associates an instance of E2 Temporal Entity with the instance of E52 Time-Span during which it was on-going. The associated instance of E52 Time-Span is understood as the real time-span during which the phenomena making up the temporal entity instance were active. More than one instance of E2 Temporal Entity may share a common instance of E52 Time-Span only if they come into being and end being due to identical declarations or events.

Examples:
  • The Yalta Conference (E7) has time-span Yalta Conference time-span (E52). (Harbutt, 2010)
In First Order Logic:
P4(x,y) ⇒ E2(x), P4(x,y) ⇒ E52(y)