#American_state  one of the 50 states of the United States
  subtype: {slave_state free_state}
  instance:  Alabama  Alaska  Arizona  Arkansas  California  Colorado  Connecticut  Delaware  Florida  Georgia  Hawaii  Idaho  Illinois  Indiana  Iowa  Kansas  Kentucky  Louisiana  Maine  Maryland  Massachusetts  Michigan  Minnesota  Mississippi  Missouri  Montana  Nebraska  Nevada  New_Hampshire  New_Jersey  New_Mexico  New_York_State  North_Carolina  North_Dakota  Ohio  Oklahoma  Oregon  Pennsylvania  Rhode_Island  South_Carolina  South_Dakota  Tennessee  Texas  Utah  Vermont  Virginia  Washington_State  West_Virginia  Wisconsin  Wyoming
  part:  congressional_district
  part of:  USA
  supertype:  state.administrative_district__province  the territory occupied by one of the constituent administrative districts of a nation; "his state is in the deep south"
     supertype:  administrative_district__administrative_division__territorial_division__territorialdivision  a district defined for administrative purposes
        supertype:  district__territory  a region marked off for administrative or other purposes
           supertype:  region  a large indefinite location on the surface of the Earth; "penguins inhabit the polar regions"
              supertype:  location  a point or extent in space
                 supertype:  space  point or extent in space
                    supertype:  spatial_object__spatialobject  object which as a direct spatial location, e.g., physical object, spatial region or shape
                       supertype:  object__entity_with_spatial_feature  spatial object (space, location or physical object) or description medium/container (e.g., string, language, image); in a 4D ontology, an object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis
                          supertype:  entity  something that can be "involved" in a situation
                             supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                          supertype:  physical__physical_thing  an entity that has a location in space-time; locations are themselves understood to have a location in space-time; click here for more details on the identical category sowa#physical_thing
                             supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                       supertype:  partially_tangible__partiallytangible  A subcollection of cyc#SpatialThing-Localized and cyc#TemporalThing. Each instance of cyc#PartiallyTangible has a tangible (i.e. material) part and a temporal extent (i.e. it exists in time). It might or might not also have an intangible part. For example, a particular copy of a book is made of matter, has temporal extent, and also has an intangible part: the information content of the text markings on its pages.
                          supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                       supertype:  individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
                          supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
              supertype:  component_part__componentpart__part__portion  something determined in relation to something that includes it; "he wanted to feel a part of something bigger than himself"; "I read a portion of the manuscript"; "the smaller component is hard to reach"
                 supertype:  relation  an abstraction belonging to or characteristic of two entities or parts together
                    supertype:  thing_that_can_be_seen_as_a_relation  usable as relation type
                       supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                          supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

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