Relation lis#class_of_composition_of_individual (lis#class_of_individual,lis#class_of_individual)  click here for details
  exclusion:  lis#class_of_connection_of_individual  lis#class_of_classification  lis#class_of_representation_translation  lis#class_of_usage_of_representation  lis#class_of_responsibility_for_representation  lis#class_of_lifecycle_stage  lis#class_of_assertion  lis#class_of_individual_used_in_connection  lis#class_of_approval  lis#class_of_possible_role_and_domain  lis#class_of_involvement_by_reference  lis#class_of_relationship_with_signature  lis#class_of_specialization  lis#class_of_intended_role_and_domain  lis#class_of_approval_by_status  lis#class_of_representation_of_thing  lis#class_of_relative_location  lis#class_of_functional_mapping  lis#class_of_recognition  lis#class_of_indirect_property  lis#class_of_cause_of_beginning_of_class_of_individual  lis#dimension_of_individual  lis#property_for_shape_dimension  lis#class_of_temporal_sequence  lis#class_of_cause_of_ending_of_class_of_individual
  subtype: {lis#class_of_arrangement_of_individual lis#class_of_temporal_whole_part lis#class_of_participation}
  member:  lis#composition_of_individual
  member of:  lis#class_of_class_of_composition
  supertype:  lis#class_of_relationship (*)  click here for details
     supertype:  lis#class_of_abstract_object  click here for details
        supertype:  lis#class__clas  click here for details
           supertype:  lis#abstract_object  a thing that does not exist in space-time; click here for details
              supertype:  lis#thing  anything that is or may be thought about or perceived; click here for details
                 supertype:  4D#thing  an object seen from a 3D (or perdurantist) perspective; click here and here for details
                    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#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#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
                 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#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#relation_with_particular_property (*)  this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
        >part of:  pm#relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type


Another search (with same display options)?