sumo#entity any category (type or individual) is instance of this type; any type is also a subtype of this type
closed_exclusion: owl#nothing
subtype: p{pm#situation pm#entity} p{pm#thing_playing_some_role sowa#independent_thing} p{sowa#continuant sowa#occurrent} p{sumo#physical sumo#abstract} p{cyc#partially_tangible cyc#intangible} p{cyc#partially_intangible cyc#tangible} p{pm#undivisible_thing pm#divisible_thing} p{cyc#temporal_thing pm#non_temporal_thing} p{pm#individual pm#type} p{dolce#particular dolce#universal dolce#world}(dolce) p{pm#domain pm#thing_that_is_not_a_domain} {3D#thing 4D#thing} sumo#physical cyc#partially_tangible cyc#partially_intangible pm#individual dolce#world pm#thing_that_is_not_a_domain pm#thing_categorized_in_an_ontology pm#dbpedia_thing
equal: owl#thing (pm) cyc#thing (pm) akts#Thing (pm) pm#thing (pm) sowa#entity (pm) rdfs#Resource (pm) nsm#thing
type: sumo#class__clas classes differ from sets in three important respects: 1) classes are not assumed to be extensional, i.e. distinct classes might well have exactly the same instances, 2) classes typically have an associated `condition' that determines the instances of the class, e.g., the condition `human' determines the "class of humans" (note that some classes might satisfy their own condition (e.g., the "class of abstract things" is "abstract") and hence be instances of themselves), 3) the instances of a class may occur only once within the class, i.e. a class cannot contain duplicate instances
1 schema is about pm#thing [pm#graph1_on_thing [any pm#thing, may have for pm#url: a pm#URL] ]; 16 statements are about direct instances of pm#thing: pm#graph1_on_collection, pm#graph1_on_situation, pm#graph1_on_transaction, pm#graph1_on_birth, pm#graph1_on_human_motion, pm#graph1_on_flight, pm#graph1_on_conference, pm#graph1_on_description, pm#graph1_on_description_container, pm#graph1_on_description_medium, pm#graph1_on_file, pm#graph1_on_written_material, pm#graph1_on_publication, pm#graph1_on_report, pm#graph35_on_article
pm#thing has many specializing statements. Browse its subtypes, or click here for a search form or here to represent such an object.