Indicates a space/time operation for which the object is involved as an intersecting agent. For projection, this is the screen on which an object is being projected. For proximity, this is the magnet object. Each topological_object may be the intersecting object for one or more space_time_operation.
Indicates a space/time operation for which the object is involved as a primary agent. For degeneration, this object is being degenerated. For projection, this object is being projected onto another object. For proximity, this is the container object. Each topological_object may be the primary object for one or more space_time_operation.
Indicates a topological relationship in which the topologic object has the role of primary agent. For an object intersection type of "inside" this is the containing role (e.g., if a city is inside a county then the county would be the primary agent). For all other object intersection types the roles are symmetrical and both relationships must be searched for a particular object. For example, if a wellbore and a formation overlap then either could be chosen as the primary agent with the other chosen as the secondary agent. Each topological_object may be primarily involved in one or more topological_relationship.
Indicates a topological relationship in which the object is in the role of secondary agent. For an object intersection type of "inside" this is the contained role (e.g., if a well is inside a field then the well would be the secondary agent). For all other object intersection types the roles are symmetrical and both relationships must be searched for a particular object. For example, if a wellbore and a formation overlap then either could be chosen as the secondary agent with the other chosen as the primary agent. Each topological_object may be involved in one or more topological_relationship.
Indicates the space/time operation from which a topological object was the result. For addition, this is the union of two objects. For degeneration, this is the degenerate object. Each topological_object may be the result of one space_time_operation.
Local rules:
Abstract supertype:
Each TOPOLOGICAL_OBJECT must be instantiated as one of its subtypes. These subtypes are: spatial_object, temporal_object