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:  pm#predicate_type  pm#function_type
  supertype:  pm#structured_ADT (pm)  pm#relation_type (pm)
  equal:  kif#list (pm)
  subtype:  sumo#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:  kif#null__null_list  type of empty lists
        instance:  sumo#null_list
     subtype:  kif#single__list_with_1_element  list of length 1
  subtype:  kif#double__list_with_2_elements  list of length 2
  subtype:  kif#triple__list_with_3_elements  list of length 3
  subtype:  rdfs#container
     subtype:  rdf#bag
     subtype:  rdf#seq
        subtype:  rdf#list
           subtype:  daml#disjoint__disjoint_list_of_classes  classes in such a list are pairwise disjoint
     subtype:  rdf#alt  alternatives (exclusive or inclusive?)
        subtype:  pm#or_bag  bag of OR-ed elements
        subtype:  pm#xor_bag__xorbag  bag of XOR-ed elements
  subtype:  lis#multidimensional_object  ordered list of thing; click here for details
     subtype:  lis#multidimensional_property_space
     subtype:  lis#multidimensional_number
     subtype:  lis#multidimensional_property
     subtype:  lis#multidimensional_number_space
     subtype:  lis#multidimensional_scale

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