Scope note: This property describes the temporal projection of an instance of an E92 Spacetime Volume. The property P4 has time-span is the same as P160 has temporal projection if it is used to document an instance of E4 Period or any subclass of it. Example: In First Order Logic: P160(x,y) ⊃ E92(x) P160(x,y)⊃ E52(y)
Attributes | Values |
---|---|
type | |
label |
|
domain | |
range | |
comment |
|
notation |
|