pm#structured_ADT__structured_abstract_data_type
  exclusion:  atomic_ADT
  supertype:  description_medium  non_spatial_collection
  subtype:  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
     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
  subtype:  set  ADT where duplicate elements are not allowed
     subtype:  or_set  set of OR-ed elements
     subtype:  xor_set__xorset  set of XOR-ed elements
  subtype:  number_container
  subtype:  array
     subtype:  string  a string of characters
        subtype:  XML_literal
           subtype:  Literal
              subtype:  name_string
        subtype:  character  element of an alphabet, a set of numerals, etc.; sumo#character is a subclass of sumo#symbolic_string, because every instance of sumo#character is an alphanumeric sequence consisting of a single element
  subtype:  queue
  subtype:  stack
  subtype:  keyed_collection_ADT
  subtype:  graph_ADT
     subtype:  graph__connected_graph__connectedgraph  every graph is assumed to contain at least two arcs and three nodes
  subtype:  lattice  an arrangement of points or particles or objects in a regular periodic pattern in 2 or 3 dimensions
     subtype:  space_lattice__spacelattice__crystal_lattice__crystallattice__Bravais_lattice  a 3-dimensional geometric arrangement of the atoms or molecules or ions composing a crystal
  subtype:  statement
  subtype:  ontology  a set of categories, and definitions or axioms about these categories
     subtype:  Dolce_version__Dolce  a version of the Dolce ontology
        subtype:  dolce_full__dolcefull__Dolce  a full version of Dolce
        subtype:  Dolce_lite__dl  a restricted version of Dolce that can be expressed in OWL DL
  subtype:  block_set__blockset
  subtype:  data_range

11 statements are about indirect instances of structured_ADT: graph1_on_ontology, graph1_on_conference, graph1_on_file, graph1_on_written_material, graph1_on_publication, graph1_on_report, graph35_on_article, graph1_on_address, graph1_on_housing, graph1_on_meal_shop, graph1_on_person
  click here to display them or click here for a search form or here to add a statement