sumo#inheritable_relation__inheritablerelation each instance RT of this class is a subclass of the 2nd-order_type pm#relation_type and the properties of RT can be inherited downward in the class hierarchy via the "subrelation" predicate
instance: pm#relation_type pm#binary_relation_type pm#ternary_relation_type pm#quaternary_relation_type pm#quintary_relation_type pm#type_of_relation_extended_to_quantities pm#single_valued_relation_type pm#total_valued_relation_type pm#case_relation_type pm#probability_relation_type pm#spatial_relation_type pm#temporal_relation_type pm#intentional_relation_type pm#propositional_attitude pm#object_attitude_relation_type pm#function_type pm#unary_function_type pm#binary_function_type pm#ternary_function_type pm#quaternary_function_type pm#predicate_type pm#binary_predicate_type pm#ternary_predicate_type pm#quaternary_predicate_type pm#quintary_predicate_type
equal: pm#class_of_inheritable_relation_type (pm)
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
supertype: pm#2nd_order_type__2ndordertype__type2 all 2nd order types are implicitely or explicitely instance of that 3rd order type
supertype: pm#type second-order type or more
supertype: pm#non_spatial_collection__nonspatialcollection__true_collection something gathering separated things (entities/situations) and that is not a spatial object
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: pm#collection something gathering separated things (entities/situations)
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
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
No statement uses or specializes pm#class_of_inheritable_relation_type; click here to add one.