E93 Spacetime Snapshot in Version 6.1
Subclass of :
Superclass of: No superclasses found
Scope Note:
This class comprises instances of E92 Spacetime Volume that result from intersections between instances of E92 Spacetime Volume, instances of E53 Place, or instances of E52 Time-Span. The identity of an instance of this class is determined by the identities of its constituting items. Those are one or more of the following:
This class can be used to define temporal snapshots at a particular time-span, such as the extent of the Roman Empire at 33 B.C., or the extent occupied by a museum object at rest in an exhibit. In particular, it can be used to define the spatial projection of a spacetime volume during a particular time-span, such as the maximal spatial extent of a flood at some particular hour, or all areas covered by the Poland within the 20th century AD
This class can be used to define temporal snapshots at a particular time-span, such as the extent of the Roman Empire at 33 B.C., or the extent occupied by a museum object at rest in an exhibit. In particular, it can be used to define the spatial projection of a spacetime volume during a particular time-span, such as the maximal spatial extent of a flood at some particular hour, or all areas covered by the Poland within the 20th century AD
This class comprises instances of E92 Spacetime Volume that result from intersection of instances of E92 Spacetime Volume with an instance of E52 Time-Span. The identity of an instance of this class is determined by the identities of the constituting space time volume and the time-span.
This class can be used to define temporal snapshots at a particular time-span, such as the extent of the Roman Empire at 33 B.C., or the extent occupied by a museum object at rest in an exhibit. In particular, it can be used to define the spatial projection of a space time volume during a particular time-span, such as the maximal spatial extent of a flood at some particular hour, or all areas covered by the Poland within the 20th century AD
In First Order Logic:
E93(x) ⊃ E92(x)
Outgoing Direct Properties:
Incoming Direct Properties:
Inherited properties:
Inherited references:
THE MODEL
- Issues
- Short Intro
- Issue Formulation
- Issue Processing
- CRM SIG Archive
- Mappings
- Short Intro
- Mapping Methods
- Mapping Tools
- Mapping Memory
- Reports about Mappings
- Compatible Models
- Short Intro
- Models
- Use Cases
- Short Intro
- Use Cases
- Related Activities
- Versions
- References
- Presentations
- Technical Papers
- Tutorials
- Critics
- Important Theories
- Publications
- Mappings
- Compatible Models
- Translations
- FAQ
- Meeting Contributions
- Minutes
- Issues
- CRM SIG Archive
- Meeting Contributions