P9 consists of (forms part of) in Version 6.2.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 is defined by a subset of the phenomena that define the former. Therefore the spacetime volume of the latter must fall within the spacetime volume of the former.
This property is transitive.

Subproperty of: E92 Spacetime Volume. P10i contains: E92 Spacetime Volume

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