]> Preliminary OWL native representation of ISO 15926-2, destined for the ISO 15926-8 representation of ISO 15926-2 entity types. This file was provided by DNV IRM, based on work in the IOHN project. An [abstract_object] is a [thing] that does not exist in space-time. An [activity] is a [possible_individual] that brings about change by causing the [event] that marks the [beginning], or the [event] that marks the [ending] of a [possible_individual]. An activity consists of the temporal parts of those members of [possible_individual] that participate in the activity. The participating temporal parts will be classified by the [participating_role_and_domain] that indicates the role of the temporal part in the [activity]. An [actual_individual] is a [possible_individual] that is a part of the space-time continuum that we inhabit. It exists in the present, past, or future of our universe, as opposed to some imagined universe. An [approval] is a [relationship] that indicates that a [relationship] has been approved by a [possible_individual] that is an approver. An [arithmetic_number] is a [class_of_class] whose member classes have the same sign and count or magnitude. An [arithmetic_number] is the number itself, not any representation of the number. An [arranged_individual] is a [possible_individual] that has parts that play distinct roles with respect to the whole. The qualities of an [arranged_individual] are distinct from the qualities of its parts. An [arrangement_of_individual] is a [composition_of_individual] that indicates that the part is a part of an [arranged_individual]. The temporal extent of the part is that of the whole. An [arrangement_of_individual] may be an [assembly_of_individual]. RANGE: WHOLE An [assembly_of_individual] is an [arrangement_of_individual] that indicates that the part is connected directly or indirectly to other parts of the whole. The parts and wholes are super-molecular objects. A [beginning] is a [temporal_bounding] that marks the temporal start of a [possible_individual]. A [boundary_of_number_space] is a [specialization] that indicates that a [number_space] is a boundary to another [number_space]. DOMAIN: SUBCLASS RANGE: SUPERCLASS A [boundary_of_property_space] is a [specialization] that indicates the members of the subclass form a boundary of the superclass. DOMAIN: SUBCLASS RANGE: SUPERCLASS A [cardinality] is a [class] that is the maximum and/or minimum number of times a thing can play a particular role in a [class_of_relationship] or [class_of_multidimensional_object]. A [cause_of_event] is a [relationship] that indicates that the caused [event] is caused by the causer [activity]. DOMAIN: CAUSED RANGE: CAUSER A [class] is a [thing] that is an understanding of the nature of things and that divides things into those which are members of the class and those which are not according to one or more criteria.The identity of a [class] is ultimately defined by its members. No two classes have the same membership. However, a distinction must be made between a [class] having members, and those members being known, so within an information system the members recorded may change over time, even though the true membership does not change. A [class_of_abstract_object] is a [class] whose members classify members of [abstract_object]. A [class_of_activity] is a [class_of_arranged_individual] whose members are instances of [activity]. A [class_of_approval] is a [class_of_relationship] whose members are members of [approval] that indicates that members of the [class_of_individual] are approvers in an [approval] for the members of the [class] that are approved. A [class_of_approval_by_status] is a [class_of_relationship] that indicates a status of the approval that is independent of what is being approved by whom. A [class_of_arranged_individual] is a [class_of_individual] whose members have a distinct form that may arise from the arrangement of their parts. A [class_of_arrangement_of_individual] is a [class_of_composition_of_individual] whose members are instances of [arrangement_of_individual]. RANGE: CLASS_OF_WHOLE A [class_of_assembly_of_individual] is a [class_of_arrangement_of_individual] whose members are instances of [assembly_of_individual]. A [class_of_assertion] is a [class_of_relationship] that describes the assertive nature of the member relations. A [class_of_atom] is a [class_of_arranged_individual] whose members are atoms. A [class_of_biological_matter] is a [class_of_arranged_individual] whose members are particular types of cell or aggregations of cells. A [class_of_cause_of_beginning_of_class_of_individual] is a [class_of_relationship] that indicates that a member of a [class_of_activity] causes the beginning of a member of a [class_of_individual]. DOMAIN: CLASS_OF_BEGUN RANGE: CLASS_OF_CAUSER A [class_of_cause_of_ending_of_class_of_individual] is a [class_of_relationship] that indicates that a member of the [class_of_activity] causes the ending of a member of the [class_of_individual]. DOMAIN: CLASS_OF_CAUSER RANGE: CLASS_OF_ENDED A [class_of_class] is a [class] whose members are instances of [class]. A [class_of_class_of_composition] is a [class_of_class_of_relationship] whose members are instances of [class_of_composition_of_individual]. It indicates that a member of a member of the class_of_class_of_part is a part of a member of an instance of the class_of_class_of_whole. DOMAIN: CLASS_OF_CLASS_OF_PART RANGE: CLASS_OF_CLASS_OF_WHOLE A [class_of_class_of_definition] is a [class_of_class_of_representation] whose members are members of [class_of_definition]. A [class_of_class_of_description] is a [class_of_class_of_representation] whose members are members of [class_of_description]. A [class_of_class_of_identification] is a [class_of_class_of_representation] whose members are members of [class_of_identification]. A [class_of_class_of_individual] is a [class_of_class] whose members are instances of [class_of_individual]. A [class_of_class_of_information_representation] is a [class_of_class_of_individual] that classifies information representation classes. A [class_of_class_of_relationship] is a [class_of_class] whose members are instances of [class_of_relationship]. An [class_of_class_of_relationship_with_signature] is a [class_of_class_of_relationship] and [class_of_relationship_with_signature]. The purpose of [class_of_class_of_relationship_with_signature] is to allow other types of classes of relationship, not explicitly defined as entity data types in this part of ISO 15926, to be defined as reference data. A [class_of_class_of_representation] is a [class_of_class_of_relationship] whose members are instances of [class_of_representation_of_thing]. DOMAIN: CLASS_OF_PATTERN RANGE: CLASS_OF_REPRESENTED A [class_of_class_of_representation_translation] is a [class_of_class_of_relationship] whose members are members of [class_of_representation_translation]. DOMAIN: CLASS_OF_FIRST RANGE: CLASS_OF_SECOND A [class_of_class_of_responsibility_for_representation] is a [class_of_class_of_relationship] whose members are members of [class_of_responsibility_for_representation] linking the controller to a set of representations. A [class_of_class_of_usage_of_representation] is a [class_of_class_of_relationship] whose members are members of [class_of_usage_of_representation] linking the user to a set of representations. A [class_of_classification] is a [class_of_relationship] whose members are members of [classification]. A [class_of_classification] indicates that a member of the class_of_classified [class] is classified by one or more members of the class_of_classifier [class_of_class]. DOMAIN: CLASS_OF_CLASSIFIED RANGE: CLASS_OF_CLASSIFIER A [class_of_composite_material] is a [class_of_arranged_individual] whose members have a common arrangement of separable compounds. A [class_of_composition_of_individual] is a [class_of_relationship] whose members are members of [composition_of_individual]. DOMAIN: CLASS_OF_PART RANGE: CLASS_OF_WHOLE A [class_of_compound] is a [class_of_arranged_individual] whose members consist of arrangements of molecules of the same or different types, bound together by intermolecular forces. This includes both mixtures and alloys. A [class_of_connection_of_individual] is a [class_of_relationship] whose members are members of [connection_of_individual]. It indicates that a member of the class_of_side_1 [class_of_individual] can be connected to a member of the class_of_side_2 [class_of_individual]. DOMAIN: CLASS_OF_SIDE_1 RANGE: CLASS_OF_SIDE_2 A [class_of_containment_of_individual] is a [class_of_relative_location] whose members are instances of [containment_of_individual]. It indicates that a member of the class_of_locator [class_of_individual] can contain a member of the class_of_located [class_of_individual]. A [class_of_definition] is a [class_of_representation_of_thing] that indicates the pattern is a definition of the represented [class]. RANGE: REPRESENTED A [class_of_description] is a [class_of_representation_of_thing] that indicates the pattern is a description of the represented [thing]. A [class_of_dimension_for_shape] is a [class_of_class_of_relationship] that indicates that members of the class_of_shape have a dimension that is a member of the class_of_dimension. DOMAIN: CLASS_OF_DIMENSION RANGE: CLASS_OF_SHAPE A [class_of_direct_connection] is a [class_of_connection_of_individual] whose members are members of [direct_connection]. A [class_of_event] is a [class_of_individual] whose members are members of [event]. A [class_of_EXPRESS_information_representation] is a [class_of_information_representation] that is defined by ISO 10303-11. A [class_of_feature] is a [class_of_arranged_individual] whose members are contiguous, non-separable parts of some [possible_individual] and have an incompletely defined boundary. A [class_of_feature_whole_part] is a [class_of_arrangement_of_individual] whose members are instances of [feature_whole_part]. A [class_of_functional_mapping] is a [class_of_relationship] that is a many to one mapping. A [class_of_functional_mapping] is a function. DOMAIN: CODOMAIN RANGE: DOMAIN A [class_of_functional_object] is a [class_of_arranged_individual] that indicates the function or purpose of an object. A [class_of_identification] is a [class_of_representation_of_thing] that indicates that the pattern is used to refer to the represented thing. A [class_of_inanimate_physical_object] is a [class_of_arranged_individual] whose members are not living. A [class_of_indirect_connection] is a [class_of_connection_of_individual] whose members are members of [indirect_connection]. A [class_of_indirect_property] is a [class_of_relationship] that indicates that a member of the [class_of_individual] can possess a member of the [class_of_property] as an [indirect_property] of this type. DOMAIN: CLASS_OF_POSSESSOR RANGE: PROPERTY_SPACE A [class_of_individual] is a [class] whose members are all instances of [possible_individual]. A [class_of_individual_used_in_connection] is a [class_of_relationship] whose members are members of [individual_used_in_connection]. It indicates that a member of the [class_of_individual] is used in a [class_of_connection_of_individual]. A [class_of_information_object] is a [class_of_arranged_individual] whose members are members of zero or more [class_of_information_representation] and of zero or more [class_of_information_presentation]. A [class_of_information_presentation] is a [class_of_arranged_individual] that distinguishes styles for presenting information. A [class_of_information_representation] is a [class_of_arranged_individual] that defines a pattern that represents information. A [class_of_intended_role_and_domain] is a [class_of_relationship] that indicates that a member of the [class_of_individual] is intended to act as a member of the [role_and_domain]. DOMAIN: CLASS_OF_PLAYER RANGE: PLAYED A [class_of_involvement_by_reference] is a [class_of_relationship] whose members are instances of [involvement_by_reference]. DOMAIN: CLASS_OF_INVOLVED RANGE: CLASS_OF_INVOLVER A [class_of_isomorphic_functional_mapping] is a [class_of_functional_mapping] that is isomorphic. A [class_of_left_namespace] is a [class_of_namespace] that indicates that the class_of_part is the left namespace for the members of the class_of_class_of_whole. A [class_of_lifecycle_stage] is a [class_of_relationship] whose members are members of [lifecycle_stage]. A [class_of_molecule] is a [class_of_arranged_individual] whose members are molecules. A [class_of_multidimensional_object] is a [class_of_abstract_object] whose members are instances of [multidimensional_object]. The role played by each position in the classified [multidimensional_object] is specified at the same position in the [roles] attribute. Constant values that apply to any position in [roles] are specified in the same position in the [parameters] attribute. The cardinalities for the roles attribute are specified by the same position in the cardinalities attribute. A [class_of_namespace] is a [class_of_class_of_relationship] that indicates that a [class_of_information_representation] is the class_of_part used as a namespace for each member of a [class_of_class_of_information_representation] that is the class_of_class_of_whole. DOMAIN: CLASS_OF_CLASS_OF_WHOLE RANGE: CLASS_OF_PART A [class_of_number] is a [class_of_class] whose members are members of [arithmetic_number]. A [class_of_organism] is a [class_of_arranged_individual] whose members are living organisms. A [class_of_organization] is a [class_of_arranged_individual] whose members are instances of [physical_object] that are composed of temporal parts of people and other assets, and are organised with a particular purpose. A [class_of_participation] is a [class_of_composition_of_individual] that indicates a member of an instance of [participating_role_and_domain] participates in a member of an instance of [class_of_activity]. DOMAIN: CLASS_OF_PART RANGE: CLASS_OF_WHOLE A [class_of_particulate_material] is a [class_of_arranged_individual] whose members are arranged amounts of super-molecular sized objects of the same or different types. A [class_of_period_in_time] is a [class_of_individual] whose members are instances of [period_in_time]. A [class_of_person] is a [class_of_organism] whose members are people. A [class_of_point_in_time] is a [class_of_event] whose members are members of [point_in_time]. A [class_of_possible_role_and_domain] is a [class_of_relationship] that indicates the [role_and_domain] that can be played by a member of the [class_of_individual], in some [activity]. DOMAIN: CLASS_OF_PLAYER RANGE: PLAYED A [class_of_property] is a [class_of_class_of_individual] whose members are instances of [property]. A [class_of_property_space] is a [class_of_class] whose members are members of [property_space]. A [class_of_recognition] is a [class_of_relationship] that indicates that a member of a [class_of_activity] may result in the recognition of a member of a [class]. DOMAIN: CLASS_OF_RECOGNIZED RANGE: CLASS_OF_RECOGNIZING A [class_of_relationship] is a [class_of _abstract_object] whose members are members of [relationship]. A [class_of_relationship_with_related_end_1] is a [class_of_relationship] where a particular [thing] is related in the [class_of_relationship], rather than the members of a [class]. The related [thing] plays the [role_and_domain] indicated by the class_of_end_1 attribute. DOMAIN: RELATED A [class_of_relationship_with_related_end_2] is a [class_of_relationship] where a particular [thing] is related in the [class_of_relationship], rather than the members of a [class]. The related [thing] plays the [role_and_domain] indicated by the class_of_end_2 attribute. DOMAIN: RELATED A [class_of_relationship_with_signature] is a [class_of_relationship] that may have a [role_and_domain] specified for each end. DOMAIN: CLASS_OF_END_1 RANGE: CLASS_OF_END_2 A [class_of_relative_location] is a [class_of_relationship] whose members are instances of [relative_location]. DOMAIN: CLASS_OF_LOCATED RANGE: CLASS_OF_LOCATOR A [class_of_representation_of_thing] is a [class_of_relationship] that indicates that all members of the pattern [class_of_information_representation] represent the [thing]. DOMAIN: PATTERN RANGE: REPRESENTED A [class_of_representation_translation] is a [class_of_relationship] that indicates the translation of two instances of [class_of_information_representation]. DOMAIN: CLASS_OF_FIRST RANGE: CLASS_OF_SECOND A [class_of_responsibility_for_representation] is a [class_of_relationship] whose members indicate that a [possible_individual] (usually an organization) deems that members of the pattern can be used as representations of the represented thing. A [class_of_right_namespace] is a [class_of_namespace] where the class_of_part is the namespace for the members of the class_of_class_of_whole. A [class_of_scale] is a [class_of_class_of_relationship] whose members are instances of [scale]. A [class_of_scale_conversion] is a [class_of_isomorphic_functional_mapping] that defines a conversion between two different scales of units used for the quantification of properties. A [class_of_shape] is a [property_space] that has instances of [shape] as its members. A [class_of_shape_dimension] is a [class_of_class] that is a dimension of a [class_of_shape]. A [class_of_specialization] is a [class_of_relationship] whose members are instances of [specialization]. It indicates that a member of the class_of_subclass is a subclass of a member of the class_of_superclass. DOMAIN: CLASS_OF_SUBCLASS RANGE: CLASS_OF_SUPERCLASS A [class_of_status] is a [class_of_class_of_individual] whose members are a [status]. A [class_of_sub_atomic_particle] is a [class_of_arranged_individual] whose members are constituent particles of atoms. A [class_of_temporal_sequence] is a [class_of_relationship] where the sequence is of a temporal nature. DOMAIN: CLASS_OF_PREDECESSOR RANGE: CLASS_OF_SUCCESSOR A [class_of_temporal_whole_part] is a [class_of_composition_of_individual] whose members are members of [temporal_whole_part]. A [class_of_usage_of_representation] is a [class_of_relationship] whose members indicate that a [possible_individual] (usually an organization) reads or otherwise uses members of the pattern as a representation of the represented thing. A [classification] is type of [relationship] that indicates that the classified [thing] is a member of the classifier [class]. [classification] is not transitive. DOMAIN: CLASSIFIED RANGE: CLASSIFIER A [comparison_of_property] is a [relationship] that indicates the magnitude of one [property] is greater than that of another. DOMAIN: GREATER_ELEMENT RANGE: LESSER_ELEMENT A [composition_of_individual] is a [relationship] that indicates that the part [possible_individual] is a part of the whole [possible_individual]. A simple composition is indicated, unless a subtype is instantiated too. [composition_of_individual] is transitive. DOMAIN: PART RANGE: WHOLE A [connection_of_individual] is a [relationship] that indicates that matter, energy, or both can be transferred between the members of [possible_individual] that are connected, either directly or indirectly. DOMAIN: SIDE_1 RANGE: SIDE_2 A [containment_of_individual] is a [relative_location] where the located [possible_individual] is contained by the locator [possible_individual] but is not part of it. A [coordinate_system] is a [multidimensional_scale] for locating and relating a [possible_individual] in an n-dimensional space in which arbitrary geometric transformations are valid. A [crystalline_structure] is a [class_of_arranged_individual] that is a form in which many simple elements and their natural compounds regularly aggregate by the operation of natural affinity: it has a definite internal structure, with the external form of a solid enclosed by a number of symmetrically arranged plane faces, and varying in simplicity from the cube to much more complicated geometric bodies. A [definition] is a [representation_of_thing] that indicates that the [class] is defined by the sign [possible_individual]. DOMAIN: REPRESENTED A [description] is a [representation_of_thing] that indicates that the [possible_individual] describes the [thing]. A [difference_of_set_of_class] is a [functional_mapping] that indicates that the membership of the result [class] is the difference between the membership of the union of the classes that are members of the [enumerated_set_of_class] and their intersection. DOMAIN: INPUT RANGE: RESULT A [dimension_of_individual] is a [class_of_relationship] that indicates that each member of the set of lines that are the [individual_dimension] are a dimension of the [possible_individual]. DOMAIN: INDIVIDUAL RANGE: INDIVIDUAL_DIMENSION A [dimension_of_shape] is a [class_of_class_of_relationship] that indicates that members of the [shape_dimension] are dimensions of the [shape] members. DOMAIN: DIMENSION RANGE: SHAPE A [direct_connection] is a [connection_of_individual] that indicates that the side_1 and side_2 are directly connected via a common spatial boundary. A [document_definition] is a [class_of_class_of_information_representation] that defines the content and/or structure of documents. An [ending] is a [temporal_bounding] that marks the end of a [possible_individual]. An [enumerated_number_set] is a [class_of_number] and an [enumerated_set_of_class]. An [enumerated_property_set] is a [class_of_property] and an [enumerated_set_of_class] whose members are an enumerated set of properties of the same [single_property_dimension] or [multidimensional_property_space]. An [enumerated_set_of_class] is a [class_of_class] that is an enumerated set of the instances of [class]. Enumerated means that the full set of members is specified. An [event] is a [possible_individual] with zero extent in time at any point in space-time - a four dimensional plane. An [event] may be at one-time only, or may extend in time at different places, or a combination of both. An [event] is the temporal boundary of one or more [possible_individual]s, although there may be no knowledge of these [possible_individual]s. An [EXPRESS_binary] is a [class_of_EXPRESS_information_representation] that represents a binary value as defined in ISO 10303-11:1994, 8.1.7. An [EXPRESS_Boolean] is a [class_of_EXPRESS_information_representation] that represents a Boolean value as defined in ISO 10303-11:1994, 8.1.5. An [EXPRESS_integer] is a [class_of_EXPRESS_information_representation] that represents an integer number as defined in ISO 10303-11:1994, 8.1.3. An [EXPRESS_logical] is a [class_of_EXPRESS_information_representation] that represents a logical value as defined in ISO 10303-11:1994, 8.1.4. An [EXPRESS_real] is a [class_of_EXPRESS_information_representation] that represents a real number as defined in ISO 10303-11:1994, 8.1.2. An [EXPRESS_string] is a [class_of_EXPRESS_information_representation] that represents a string as defined in ISO 10303-11:1994, 8.1.6. A [feature_whole_part] is an [arrangement_of_individual] that indicates that the part is a non-separable, contiguous part of the whole. A [functional_mapping] is a [relationship] that indicates that the input gave the result as determined by the classifying [class_of_functional_mapping]. DOMAIN: INPUT RANGE: RESULT A [functional_physical_object] is a [physical_object] that has functional, rather than material, continuity as its basis for identity. Adjacent temporal parts of a [functional_physical_object] need not have common matter or energy, provided the matter or energy of each temporal part fulfils the same function. An [identification] is a [representation_of_thing] that indicates that the [possible_individual] is an identifier for the [thing] identified. An [indirect_connection] is a [connection_of_individual] that indicates that side_1 and side_2 are connected via other individuals. An [indirect_property] is a [relationship] between a [property] and a [possible_individual]. The nature of the [indirect_property] is defined by its [classification] by a [class_of_indirect_property]. A property is indirect when it does not directly apply to the [possible_individual] it applies to, but is derived from some process. DOMAIN: POSSESSOR RANGE: PROPERTY An [individual_dimension] is a [class_of_individual] whose members characterize a particular [possible_individual]. An [individual_used_in_connection] is a [relationship] that indicates that a [possible_individual] is used in a [connection_of_individual]. An [integer_number] is an [arithmetic_number] that is an integer number. An [intended_role_and_domain] is a [relationship] that indicates the [role_and_domain] some temporal part of the [possible_individual] is intended to take with respect to some [activity]. DOMAIN: PLAYED RANGE: PLAYER An [intersection_of_set_of_class] is a [functional_mapping] that indicates that the result [class] consists of those members of the members of the classes [enumerated_set_of_class] that are common to each class. DOMAIN: INPUT RANGE: RESULT An [involvement_by_reference] is a [relationship] that indicates that a [thing] is referred to in an [activity]. DOMAIN: INVOLVED RANGE: INVOLVER A [language] is a [class_of_class_of_information_representation] whose members are all the information representations made in the language. A [left_namespace] is a [namespace] where the [class_of_part] is the left part of the [class_of_whole]. A [lifecycle_stage] is a [relationship] that indicates the interest that a [possible_individual] has in some [possible_individual]. DOMAIN: INTEREST RANGE: INTERESTED A [lower_bound_of_number_range] is a [classification] that indicates an [arithmetic_number] is the lowest value in a [number_range]. DOMAIN: CLASSIFIED RANGE: CLASSIFIER A [lower_bound_of_property_range] is a [classification] that indicates that a [property] is the lower bound of a [property_range]. DOMAIN: CLASSIFIED RANGE: CLASSIFIER A [materialized_physical_object] is a [physical_object] that has matter and/or energy continuity as its basis for identity. Matter or energy continuity requires some matter or energy to be common to adjacent temporal parts of the [materialized_physical_object]. Replacement of some components from time to time does not create a new identity. A [multidimensional_number] is an [arithmetic_number] that is also a [multidimensional_object]. A [multidimensional_number_space] is a [number_space] and a [multidimensional_object]. A [multidimensional_object] is an [abstract_object] that is an ordered list of [thing]. The significance of the [multidimensional_object] is determined by being a member of a [class_of_multidimensional_object] that indicates the role played by each of its elements. A [multidimensional_property] is a [property] that is also a [multidimensional_object]. A [multidimensional_property_space] is a [property_space] and a [multidimensional_object] whose members are properties each of which maps to more than one number. Each property will consist of elements of the same property dimensions. A [multidimensional_scale] is a [scale] that is also a [multidimensional_object]. A [namespace] is a [class_of_arrangement_of_individual] where the class_of_whole and class_of_part are members of [class_of_information_representation] and the part is the most significant part of the whole that is the namespace. DOMAIN: CLASS_OF_PART A [number_range] is a one dimensional [number_space]. A [number_space] is a [class_of_number] that is a continuum. An [other_relationship] is a [relationship] that is not a member of any of the other explicit subtypes of [relationship]. The meaning of an [other_relationship] is specified by a [classification] by an instance of [class_of_relationship_with_signature]. DOMAIN: END_1 RANGE: END_2 A [participating_role_and_domain] is a [role_and_domain] that is also a [class_of_individual] that indicates a participating role in an [activity]. A [participation] is a [composition_of_individual] that indicates that a [possible_individual] is a participant in an [activity]. RANGE: WHOLE A [period_in_time] is a [possible_individual] that is all space for part of time - a temporal part of the universe. A [phase] is a [class_of_arranged_individual] based on the nature of the boundary behaviour of material resulting from its atomic and molecular bonding. A [physical_object] is a [possible_individual] that is a distribution of matter, energy, or both. An [event] that is the whole space extension with zero extent in time. A [possible_individual] is a [thing] that exists in space and time. This includes: - things where any of the space time dimensions are vanishingly small, - those that are either all space for any time, or all time and any space, - the entirety of all space time - things that actually exist, or have existed, - things that are fictional or conjectured and possibly exist in the past, present or future, - temporal parts (states) of other individuals, - things that have a specific position, but zero extent in one or more dimensions, such as points, lines, and surfaces. In this context existence is based upon being imaginable within some consistent logic, including actual, hypothetical, planned, expected, or required individuals. A [possible_role_and_domain] is a [relationship] that indicates that a player [possible_individual] can possibly play the played [role_and_domain]. DOMAIN: PLAYED RANGE: PLAYER A [property] is a [class_of_individual] that is a member of a continuum of a [class_of_property]. The [property] may be quantified by mapping to a number on a scale. A [property_for_shape_dimension] is a [class_of_relationship] that indicates that the members of the [shape_dimension] are of the [property]. DOMAIN: PROPERTY RANGE: SHAPE_DIMENSION A [property_quantification] is a [functional_mapping] whose members map a [property] to an [arithmetic_number]. DOMAIN: INPUT RANGE: RESULT A [property_range] is a [property_space] that is a continuous subset of a [single_property_dimension]. A [property_space] is a [class_of_property] whose members are a coherent continuum of [property]. A [property_space_for_class_of_shape_dimension] is a [class_of_class_of_relationship] that indicates the [property_space] that a [class_of_shape_dimension] is from. DOMAIN: CLASS_OF_SHAPE_DIMENSION RANGE: PROPERTY_SPACE A [real_number] is an [arithmetic_number] that is a real number. A [recognition] is a [relationship] that indicates that a [thing] is recognized through an [activity]. DOMAIN: RECOGNIZED RANGE: RECOGNIZING A [relationship] is an [abstract_object] that indicates something that one thing has to do with another. A [relative_location] is a [relationship] that indicates that the position of one [possible_individual] is relative to another. DOMAIN: LOCATED RANGE: LOCATOR A [representation_form] is a [class_of_class_of_information_representation] that distinguishes the form of representation. A [representation_of_Gregorian_date_and_UTC_time] is a [class_of_information_representation] whose members are representations of time using the UTC system of time identification as specified in ISO 8601:2000 together with the Gregorian system for representing dates. All times shall be represented using UTC representation of time. Dates shall follow the Gregorian calendar. A [representation_of_thing] is a [relationship] that indicates that a [possible_individual] is a sign for a [thing]. DOMAIN: REPRESENTED RANGE: SIGN A [responsibility_for_representation] is a [relationship] that indicates that the controller [possible_individual] administers the controlled [representation_of_thing]. A [right_namespace] is a [namespace] that indicates that the [class_of_part] is the right most part of the [class_of_whole]. A [role] is a [role_and_domain] that indicates what some thing has to do with an [activity], [relationship], or [multidimensional_object]. A [role_and_domain] is a [class] that specifies the domain and role for an end of a [class_of_relationship] or [class_of_multidimensional_object]. A [scale] is a [class_of_isomorphic_functional_mapping] whose members are members of [property_quantification]. It indicates the [number_space] a [property_space] maps to for the [scale] in question. DOMAIN: CODOMAIN RANGE: DOMAIN A [shape] is a [property] that depends on constant relations of position and proportionate distance among all the points composing its outline or its external surface. A [shape_dimension] is a [class_of_class_of_individual] that is a set of [individual_dimension] that define an aspect of a shape. A [single_property_dimension] is a [property_space] that is a single and complete continuum of properties each of which maps to a single number. A [spatial_location] is a [physical_object] that has continuity of relative position. A [specialization] is a [relationship] that indicates that all members of the subclass are members of the superclass. [specialization] is transitive. DOMAIN: SUBCLASS RANGE: SUPERCLASS A [specialization_by_domain] is a [specialization] that indicates that the member of the [role_and_domain] is a [specialization] of the domain [class]. DOMAIN: SUBCLASS A [specialization_by_role] is a [specialization] that indicates that the [role_and_domain] is of the [role] indicated by the superclass. DOMAIN: SUBCLASS RANGE: SUPERCLASS A [specialization_of_individual_dimension_from_property] is a [specialization] that indicates the members of the dimension are members of the property. DOMAIN: SUBCLASS RANGE: SUPERCLASS A [status] is a [class_of_individual] that is a characteristic or quality that is described by discrete, unordered values. A [stream] is a [physical_object] that is material or energy moving along a path, where the path is the basis of identity and may be constrained. The stream consists of the temporal parts of those things that are in the stream whilst they are in it. A [temporal_bounding] is a [composition_of_individual] that indicates that the part [event] is a temporal boundary of the whole [possible_individual]. DOMAIN: PART A [temporal_sequence] is a [relationship] that indicates that one [possible_individual] precedes another in a temporal sense. DOMAIN: PREDECESSOR RANGE: SUCCESSOR A [temporal_whole_part] is a [composition_of_individual] that indicates that one [possible_individual] is a temporal part of another [possible_individual]. The spatial extent of the temporal part is that of the temporal whole for the period of the existence of the temporal part. Relationships that apply to the whole [possible_individual] also apply to the temporal parts of the [possible_individual], except when the relationships relate to the temporal nature of the whole. So if a [possible_individual] is connected so are all its temporal parts, but being a [whole_life_individual] is not inherited by its temporal parts. A [thing] is anything that is or may be thought about or perceived, including material and non-material objects, ideas, and actions. Every [thing] is either a [possible_individual], or an [abstract_object]. A [union_of_set_of_class] is a [functional_mapping] that indicates that the membership of the result [class] is the union of the members of the [enumerated_set_of_class] classes. DOMAIN: INPUT RANGE: RESULT An [upper_bound_of_number_range] is a [relationship] that indicates an [arithmetic_number] is the largest value in a [number_range]. DOMAIN: CLASSIFIED RANGE: CLASSIFIER An [upper_bound_of_property_range] is a [classification] that indicates that the [property] is the upper bound of the [property_range]. DOMAIN: CLASSIFIED RANGE: CLASSIFIER A [usage_of_representation] is a [relationship] that indicates that the [representation_of_thing] is used by the [possible_individual]. Usage does not imply responsibility. A [whole_life_individual] is a [possible_individual] that is a member of a [class_of_individual], and is not a temporal part of any other [possible_individual] that is also a member of the same [class_of_individual]. A [whole_life_individual] includes its past and future.