P9 consists of (forms part of) in Version 6.1

Domain:
E4 Period
Range:
E4 Period
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
one to many (0,n:0,1)
Scope Note:

This property associates an instance of E4 Period with another instance of E4 Period that falls within the spacetime volumes occupied by the former and which is defined by phenomena that form part of or are refinements of the phenomena that define the former. 

Subproperty of: E4 Period. P10i contains: E4 Period

In First Order Logic:
P9(x,y) ⊃ E4(x) , P9(x,y) ⊃ E4(y) , P9(x,y) ⊃ P10(y,x)