rdfs#container
  supertype:  list (rdfs_daml_oil_semantics)  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
  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

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