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
  closed_exclusion:  sumo#set
  subtype:  rdfs#datatype  owl#restriction  owl#all_different (pm)  owl#deprecated_class  dl#rigid  dl#leaf_type  dl#non-empty  pm#situation_class  pm#attribute_class  pm#substance_class  pm#virtual_class  wfm#case_type (wfm)  wfm#resource_class (wfm)
  instance:  pm#class_of_inheritable_relation_type (pm)  pm#thing (pm)  pm#nothing (pm)
  supertype:  rdfs#class__clas  rdfs#class has pm#binary_relation_type as instance and hence is different from sumo#class
     supertype:  pm#type  second-order type or more
        supertype:  pm#collection  something gathering separated things (entities/situations)
           supertype:  pm#non_spatial_object_that_is_not_a_description_content/medium/container
              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:  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
                 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#set_or_class  like sumo#set_or_class but including rdfs#class too
        supertype:  pm#collection  something gathering separated things (entities/situations)
        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:  sumo#set_or_class  the "set_or_class" of "sets" and "classes", i.e. any "instance" of "abstract" that has "elements" or "instances"
     supertype:  pm#set_or_class  like sumo#set_or_class but including rdfs#class too

No statement uses or specializes sumo#class; click here to add one.


Simple category search: