dl#arbitrary_sum__arbitrarysum__AS  e.g., the collection of a car and a foot
  closed_exclusion:  dl#physical_endurant  dl#non-physical_endurant
  supertype:  pm#non_spatial_collection__nonspatialcollection__true_collection  something gathering separated things (entities/situations) and that is not a spatial object
     supertype:  pm#non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
        supertype:  pm#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:  pm#entity  something that can be "involved" in a situation
              supertype:  pm#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:  cyc#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:  cyc#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:  pm#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:  pm#collection  something gathering separated things (entities/situations)
        supertype:  pm#divisible_entity__divisibleentity  many classifications under this category are application-dependant
           supertype:  pm#entity  something that can be "involved" in a situation
           supertype:  pm#divisible_thing__divisiblething
              supertype:  pm#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:  dl#endurant__ED
     supertype:  pm#entity  something that can be "involved" in a situation
     supertype:  3D#thing  an object seen from a 3D (or endurantist) perspective, i.e. where a spatial entity may have a time independent identity, as opposed for example to the 4D perspective where each spatial entity has an associated time frame; click here and here for details
        supertype:  pm#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:  dl#endurant_or_perdurant__ED_or_PD
        supertype:  dl#quality_or_endurant_or_perdurant__Q_or_ED_or_PD
           supertype:  dl#entity  a category from DOLCE or generalized by a category from DOLCE
              supertype:  pm#individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
                 supertype:  pm#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

No statement uses or specializes dl#arbitrary_sum; click here to add one.