sumo#language  system of signs for expressing thought; the system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people
  subtype:  p{sumo#animal_language pm#non_animal_language}  #linguistic_communication
  part:  #lexis (pm)  #lexicon (pm)
  supertype:  sumo#linguistic_expression  content bearing objects which are language-related, i.e. both languages and the elements of languages, e.g., words
     supertype:  sumo#content_bearing_object__contentbearingobject  a self_connected_object that expresses content; this content may be a sumo#proposition, e.g., when the content_bearing_object is a sentence or text, or it may be a representation of an abstract or physical object, as with an icon, a word or a phrase
        supertype:  pm#description_medium__descriptionmedium  e.g., a syntax, a language, a script, a structure
           supertype:  pm#description  description (content/medium) of an entity or a situation
              supertype:  pm#description_content/medium/container__descriptioncontent/medium/container
                 supertype:  pm#non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
                    supertype:  pm#non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                       supertype:  pm#entity  something that can be "involved" in a situation
                          supertype:  pm#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:  cyc#intangible  The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals.  Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
                          supertype:  cyc#partially_intangible__partiallyintangible  The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General  or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection.  It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject),  such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
                             supertype:  pm#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:  sumo#corpuscular_object__corpuscularobject__composite_entity__compositeentity___divisible_entity_with_discrete_parts  self_connected_object whose parts have properties that are not shared by the whole
           supertype:  sumo#self_connected_object  object that does not consist of two or more disconnected parts
              supertype:  sumo#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:  pm#entity  something that can be "involved" in a situation
                 supertype:  sumo#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:  pm#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:  pm#divisible_entity__divisibleentity  many classifications under this category are application-dependant
              supertype:  pm#entity  something that can be "involved" in a situation
              supertype:  pm#divisible_thing__divisiblething
                 supertype:  pm#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 sumo#language; click here to add one.