dl#time_interval__T
  subtype:  unit_of_time_duration  time_duration  date
  time_of_presence_of=>  endurant
  time_of_q_presence_of=>  physical_quality
  time_of_happening_of=>  perdurant
  related_to:  time_interval (dl)
  happens_at of<=  perdurant
  q_present_at of<=  physical_quality
  present_at of<=  endurant
  supertype:  temporal_region__TR  a value for a temporal quality, e.g., 24/5/2002, 2 seconds
     supertype:  time_measure
        supertype:  time_measure__temporal_attribute_or_quality_or_measure  temporal duration or positions of time_points and time_intervals along the universal timeline
           supertype:  attribute_or_quality_or_measure  e.g., mass, mass unit, 1 kg, frequency, [2-3] hz, color, blue, speed, 1 m/s
              supertype:  non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                 supertype:  entity  something that can be "involved" in a situation
                    supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                 supertype:  intangible  The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals.  Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
                    supertype:  partially_intangible__partiallyintangible  The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General  or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection.  It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject),  such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
                       supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
              supertype:  thing_that_can_be_seen_as_a_relation  usable as relation type
                 supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                    supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
              supertype:  individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
                 supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
        supertype:  constant_quantity  physical_quantity with a constant value, e.g., 3 meters and 5 hours; the magnitude (see magnitude_fn) of every constant_quantity is a real_number; constant_quantities are expressed with measure_fn, e.g., 3 meters can be expressed as (sumo#measure_fn 3 meter); they form a partial order with the less_than relation, since less_than is a relation_extended_to_quantities and less_than is defined over the real_numbers; the less_than relation is not a total order over the class constant_quantity since elements of some subclasses of constant_quantity (such as length quantities) are incomparable to elements of other subclasses of constant_quantity (such as mass quantities)
           supertype:  physical_quantity  a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates); physical_quantities need not be material, e.g., amounts of money (in specified currencies) would be instances of sumo#physical_quantity
              supertype:  quantity  any specification of how many or how much of something there is
                 supertype:  attribute_or_quality_or_measure  e.g., mass, mass unit, 1 kg, frequency, [2-3] hz, color, blue, speed, 1 m/s
                 supertype:  abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
                    supertype:  non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
     supertype:  region__R  the measure of an attribute/dimension
        supertype:  physical_quantity  a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates); physical_quantities need not be material, e.g., amounts of money (in specified currencies) would be instances of sumo#physical_quantity
        supertype:  abstract__abstraction__ab
           supertype:  abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
           supertype:  abstract_or_perdurant__AB_or_PD
              supertype:  entity  a category from DOLCE or generalized by a category from DOLCE
                 supertype:  individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type

No statement uses or specializes time_interval; click here to add one.