sowa#proposition  piece of information; this piece of information may be represented by content_bearing_object(s) such as a string, a sound or an icon; click here for details
  subtype:  sowa#description  sowa#history
  instance:  "cats are furry animals"  "most cats are furry animals"
  equal:  sumo#proposition (pm)
  supertype:  pm#description_content__descriptioncontent__information  e.g., a narration, an hypothesis
     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#abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
        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#individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
        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:  sowa#abstract__abstract_entity  distinguished from sumo#abstract because John Sowa does not seem to categorize all types of relations, sets, classes, attributes, quantities and graphs under this category; see http://www.jfsowa.com/ontology/toplevel.htm and http://www.jfsowa.com/ontology/roles.htm
     supertype:  sumo#abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
  supertype:  sowa#relative_thing  Peirce/Sowa's notion of "secondness"; click here for details
     supertype:  pm#thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
        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#proposition; click here to add one.