rdfs#container
  supertype:  sumo#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:  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

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