sumo#list  a particular ordered n-tuple of items; generally speaking, lists are created by means of the list_fn function, which takes any number of items as arguments and returns a list with the items in the same order; anything, including other lists, may be an item in a list; note too that lists are extensional - two lists that have the same items in the same order are identical; note too that a list (the null_list) may contain no items
  closed_exclusion:  predicate_type  function_type
  supertype:  structured_ADT (pm)  relation_type (pm)
  equal:  list (pm)
  subtype:  unique_list  a list in which no item appears more than once, i.e. a list for which there are no distinct numbers ?n1 and ?n2 such that (sumo#list_order_fn ?list ?n1) and (sumo#list_order_fn ?list ?n2) return the same value
     subtype:  null__null_list  type of empty lists
        instance:  null_list
     subtype:  single__list_with_1_element  list of length 1
  subtype:  double__list_with_2_elements  list of length 2
  subtype:  triple__list_with_3_elements  list of length 3
  subtype:  container
     subtype:  bag
     subtype:  seq
        subtype:  list
           subtype:  disjoint__disjoint_list_of_classes  classes in such a list are pairwise disjoint
     subtype:  alt  alternatives (exclusive or inclusive?)
        subtype:  or_bag  bag of OR-ed elements
        subtype:  xor_bag__xorbag  bag of XOR-ed elements
  subtype:  multidimensional_object  ordered list of thing; click here for details
     subtype:  multidimensional_property_space
     subtype:  multidimensional_number
     subtype:  multidimensional_property
     subtype:  multidimensional_number_space
     subtype:  multidimensional_scale

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