Individual pm#relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type
  instance of:  pm#relation_type
  subtype:  pm#relation_from/to_thing_of_common_kind (*)  this type permits to categorize relations according to their signatures and hence offers (i) a concise way to set essential exclusion relations, and (ii) a systematic and easy-to-follow categorization
     subtype:  pm#relation_from_situation (pm#situation,*)
        subtype:  pm#relation_from_situation_to_time (pm#situation,pm#time_measure)
        subtype:  pm#relation_from_situation_to_situation (pm#situation,pm#situation)
        subtype:  pm#case_relation__thematic_relation (pm#situation,*)
        subtype:  pm#within_group (pm#situation,pm#collection)
     subtype:  pm#spatial_relation_from_entity_with_spatial_feature (sumo#object,*)
        subtype:  pm#relation_from_spatial_object (pm#spatial_object,*)
        subtype:  sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object)  a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
        subtype:  sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object)  a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
        subtype:  sumo#traverses__traverse (sumo#object,sumo#object)  the first object crosses or extends across the second; note that crosses and penetrates are subrelations of traverses
        subtype:  sumo#distance (sumo#object,*)
        subtype:  sumo#larger (sumo#object,*)
        subtype:  sumo#smaller (sumo#object,*)
        subtype:  sumo#connected (sumo#object,*)
        subtype:  sumo#connects (sumo#object,*)
        subtype:  sumo#mereological_sum_fn (sumo#object,*)
        subtype:  sumo#mereological_product_fn (sumo#object,*)
        subtype:  sumo#mereological_difference_fn (sumo#object,*)
        subtype:  sumo#hole (sumo#object,*)
        subtype:  sumo#hole_host_fn (sumo#object,*)
        subtype:  sumo#partially_fills__partiallyfill (sumo#object,*)
        subtype:  sumo#hole_skin_fn (sumo#object,*)
        subtype:  sumo#orientation (sumo#object,*)
        subtype:  sumo#between (sumo#object,sumo#object,sumo#object)  the second object is (directly) spatially located between the other two (the projections of which overlap with the second object)
        subtype:  sumo#part__part_of (sumo#object,sumo#object)  this type should have been name sumo#part_of to respect the common reading conventions of parameters; all other mereological relations are defined in terms of this one; it means that the 1st argument is part of the 2nd; note that, since part is a reflexive_relation, every object is a part of itself
     subtype:  pm#relation_from_collection (pm#collection,*)
        subtype:  pm#member (pm#collection,*)
        subtype:  kif#nthrest (sumo#list,sumo#nonnegative_integer -> sumo#list)
        subtype:  pm#relation_from_collection_to_number (pm#collection -> sumo#number)
        subtype:  sumo#list_order_fn (sumo#list,sumo#positive_integer -> ?)  returns the item that is in the given position (2nd argument) in the list, e.g., (sumo#list_order_fn (sumo#list_fn Monday Tuesday Wednesday) 2) would return the value tuesday
        subtype:  sumo#list_length_fn (sumo#list -> sumo#nonnegative_integer)  returns the number of items in the list, e.g., (sumo#list_length_fn (sumo#list_fn Monday Tuesday Wednesday)) would return the value 3
        subtype:  pm#relation_from_an_ontology (pm#ontology,*)
        subtype:  pm#relation_between_collections (pm#collection,pm#collection+)
        subtype:  pm#relation_from_type (pm#type,*)  type of relations from a concept/relation type, i.e. in RDFS terminology, from a class or a property
     subtype:  pm#relation_from_description_content/medium/container (pm#description_content/medium/container,*)
        subtype:  pm#relation_from_description (pm#description,*)
        subtype:  pm#relation_from_string (pm#string,*)
        subtype:  pm#version (pm#description_content/medium/container,pm#description_content/medium/container)
        subtype:  pm#version_id__versionid (pm#description_content/medium/container,pm#string)
        subtype:  dc#Coverage (pm#description_content/medium/container,?)  to specify 1 or several topics
        subtype:  dc#Contributor (pm#description_content/medium/container,pm#entity)  to specify an entity responsible for making contributions to the content of a resource
        subtype:  dc#Source (pm#description_content/medium/container,pm#entity)  to specify a resource from which a resource is derived
        subtype:  dc#Publisher (pm#description_content/medium/container,pm#entity)  to specify an entity responsible for making a resource available
        subtype:  dc#Rights__rights (pm#description_content/medium/container,pm#entity)  to specify rights held in and over a resource
        subtype:  pm#authoring_time__authoringtime (pm#description_content/medium/container -> pm#time_measure)
        subtype:  pm#author (pm#description,pm#causal_entity)
        subtype:  dc#Language (pm#description_content/medium/container -> pm#entity)  to specify a language for the content of a resource
        subtype:  dc#Format (pm#description_content/medium/container -> pm#entity)  to specify the physical or digital manifestation of a resource; in WebKB, this relation type SHOULD NOT BE USED; see pm#format, pm#description_instrument and pm#descr instead
        subtype:  pm#description_instrument__descriptioninstrument__descr_instrument__descrinstrument (pm#description_content/medium/container,pm#description_medium)
        subtype:  pm#description_object__descriptionobject__descr_object__descrobject (pm#description_content/medium/container,?)  just for documentation: its reverse, pm#descr, should be used instead
        subtype:  pm#physical_support__description_physical_support___descr_physical_support___descr_support (pm#description_content/medium/container,pm#physical_entity)
        subtype:  pm#rhetorical_relation (pm#description_content/medium/container,pm#description_content/medium/container)  main sources: the Rhetorical Structure Theory (RST) and the PENMAN ontology; DO NOT USE such fuzzy relations: instead, use relations from/to situations!
        subtype:  pm#argumentation_relation__argumentationrelation (pm#description_content/medium/container,pm#description_content/medium/container)
     subtype:  pm#relation_from_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,*)
        subtype:  sumo#extension_fn__extensionfn (sumo#Attribute -> sumo#class)  a unary_function that maps an attribute into the class whose condition for membership is the attribute
        subtype:  pm#relation_to_another_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)
     subtype:  pm#relation_to_situation (*,pm#situation)  in WebKB, prefer using relations "from" a situation
        subtype:  pm#relation_from_time_to_situation (pm#time_measure,pm#situation)
        subtype:  pm#relation_from_situation_to_situation (pm#situation,pm#situation)
     subtype:  pm#spatial_relation_to_entity_with_spatial_feature (*,sumo#object)
        subtype:  pm#relation_to_spatial_object (*,pm#spatial_object)  in WebKB, prefer using relations "from" a spatial object
        subtype:  sumo#partly_located__partly_located_at (sumo#physical,sumo#object)  the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
     subtype:  pm#relation_to_time (*,pm#time_measure)
        subtype:  pm#relation_from_situation_to_time (pm#situation,pm#time_measure)
        subtype:  pm#relation_from_time_to_time (pm#time_measure,pm#time_measure)
        subtype:  pm#relation_from_physical_entity_to_time (pm#physical_entity -> pm#time_measure)
        subtype:  pm#creation_date (*,pm#time_measure)
     subtype:  pm#relation_to_collection (*,pm#collection)
        subtype:  pm#member_of (*,pm#collection)  this type SHOULD NOT BE USED IN WEBKB (its inverse may be used); this type is only provided for knowledge sharing purposes
        subtype:  kif#list_of (* -> pm#collection)
        subtype:  kif#set_of__setof (* -> pm#collection)
        subtype:  pm#parts__part (?,pm#collection)  such a type (using a collection as destination) should NOT be used: pm#part or a subtype of it should be used instead
        subtype:  kif#item (?,sumo#list)  USE pm#item INSTEAD OF THIS RELATION TYPE: if the common reading conventions of parameters had been respected, the parameters would be swapped or the type would be named item_of
        subtype:  sumo#in_list (?,sumo#list)  true if the 1st argument is in the list; analog of element and instance for lists
        subtype:  sumo#list_fn (* -> sumo#list)  a function that takes any number of arguments and returns the list containing those arguments in exactly the same order
        subtype:  pm#function_returning_a_collection_from_2_elements (?,? -> pm#collection)
        subtype:  pm#relation_between_collections (pm#collection,pm#collection+)
        subtype:  pm#relation_to_set_or_class (*,pm#set_or_class)
        subtype:  pm#relation_to_type (*,pm#type)
        subtype:  pm#relation_to_string (*,pm#string)
     subtype:  pm#relation_to_attribute_or_quality_or_measure (*,pm#attribute_or_quality_or_measure)
        subtype:  pm#attribute (?,pm#attribute_or_quality_or_measure)  e.g., [a car, attribute: a weight]
        subtype:  pm#relation_to_another_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)
        subtype:  akts#has-unit-of-measure (sumo#physical_quantity,pm#unit_of_measure)
     subtype:  skosCore#prefLabel (*)
     subtype:  skosCore#related (*)
  subtype:  pm#relation_playing_a_special_role (*)  this type permits to categorize relations according to their roles ; this is a traditional but quite subjective way of categorizing relations
     subtype:  pm#attributive_relation__attributiverelation (*)  like pm#binary_relation, this type mostly exists to categorize what cannot be categorized elsewhere
        subtype:  rst#attributive_relation__attributiverelation (pm#description_content/medium/container,pm#description_content/medium/container)
        subtype:  pm#purpose (?,?)
        subtype:  aktp#has-author__hasauthor (aktp#Publication-reference_or_Information-Bearing-Object_or_Technology_or_Method,pm#cognitive_agent)
        subtype:  aktp#owned-by__ownedby (aktp#Information-Bearing-Object_or_Technology_or_Method,aktp#Legal-Agent)
        subtype:  pm#owner (?,pm#causal_entity)  this is not a function: 0..N owner allowed
        subtype:  pm#owner_of__ownerof (pm#causal_entity,?)
        subtype:  sumo#leader__leader_of (sumo#human,dl#agentive_physical_object)  (sumo#leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON
        subtype:  pm#seller__vendor___vender (pm#situation -> pm#goal_directed_agent)
        subtype:  pm#customer__client___buyer__buyer___purchaser__purchaser___vendee (pm#situation,pm#goal_directed_agent)
        subtype:  pm#generator (? -> pm#causal_entity)
        subtype:  pm#creator (pm#entity,pm#entity)
        subtype:  pm#spatial_origin__spatialorigin (?,?)
        subtype:  sumo#exploits (sumo#object,dl#agentive_physical_object)  the object is used by the agent as a resource in an unspecified instance of process
        subtype:  sumo#has_purpose__haspurpose (sumo#physical,sumo#formula)  the instance of physical has, as its purpose, the proposition expressed by the formula; note that there is an important difference in meaning between the predicates has_purpose and result; although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired; for example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on
        subtype:  sumo#has_purpose_for_agent__haspurposeforagent (sumo#physical,sumo#formula,sumo#cognitive_agent)  the purpose of the physical thing for the agent is the proposition expressed by the formula; very complex issues are involved here; in particular, the rules of inference of the first order predicate calculus are not truth-preserving for the formula
        subtype:  pm#measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)  e.g., [a weight, measure: 75 kg]
        subtype:  pm#attribute (?,pm#attribute_or_quality_or_measure)  e.g., [a car, attribute: a weight]
        subtype:  pm#name (?,?)
        subtype:  dc#Date (? -> pm#entity)  to specify a date associated with an event in the life cycle of a resource; in WebKB, pm#time or other MORE PRECISE RELATIONS SHOULD BE USED INSTEAD
        subtype:  rdf#value (?,?)  principal value (usually a string) of a property when the property value is a structured resource (e.g., "2 kg" or " 020 in Dewey Decimal Code")
        subtype:  pm#rdf_reification_relation__rdfreificationrelation (?,?)
        subtype:  pm#support (?,?)
        subtype:  pm#example (?,pm#description_content/medium/container)
        subtype:  pm#syntax (?,pm#description_content/medium/container)
        subtype:  akts#has-magnitude__hasmagnitude (sumo#physical_quantity,xsd#decimal)
        subtype:  pm#editor (#publication,#editor)
     subtype:  pm#mereological_relation (?,*)
        subtype:  pm#part_or_parts (?,?)
        subtype:  pm#part_of (?,?)  this type SHOULD NOT BE USED IN WEBKB (its inverse may be used); this type is only provided for knowledge sharing purposes
        subtype:  pm#overlap_with__overlapwith (?,?)
     subtype:  pm#intentional_relation__intentionalrelation (sumo#cognitive_agent,?)  relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
        subtype:  sumo#prefers__prefer (sumo#cognitive_agent,sumo#formula,sumo#formula)  the cognitive_agent prefers the state of affairs expressed by the 1st formula over the state of affairs expressed by the 2nd formula, all things being equal
        subtype:  sumo#in_scope_of_interest (sumo#cognitive_agent,?)  the 2nd argument is within the scope of interest of the agent;  the interest indicated can be either positive or negative
        subtype:  pm#propositional_attitude_relation (sumo#cognitive_agent,sumo#formula)  intentional_relations where the agent has awareness of a proposition
        subtype:  pm#object_attitude_relation (sumo#cognitive_agent,sumo#physical)  intentional_relations where the agent has awareness of an instance of sumo#physical
     subtype:  pm#temporal_relation (?,?)
        subtype:  pm#relation_from_time_to_situation (pm#time_measure,pm#situation)
        subtype:  pm#relation_to_time (*,pm#time_measure)
        subtype:  akts#temporal_relation (?,?)
        subtype:  sumo#time (sumo#physical,sumo#time_position)  means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
        subtype:  sumo#temporal_part (?,?)
        subtype:  sumo#begin_fn__beginfn (?,?)
        subtype:  sumo#end_fn__endfn (?,?)
        subtype:  sumo#starts (?,?)
        subtype:  sumo#finishes (?,?)
        subtype:  sumo#before (?,?)
        subtype:  sumo#before_or_equal (?,?)
        subtype:  sumo#temporally_between (?,?)
        subtype:  sumo#temporally_between_or_equal (?,?)
        subtype:  sumo#overlaps_temporally (?,?)
        subtype:  sumo#meets_temporally__meetstemporally (?,?)
        subtype:  sumo#earlier (?,?)
        subtype:  sumo#cooccur (?,?)
        subtype:  sumo#time_interval_fn (?,?)
        subtype:  sumo#recurrent_time_interval_fn (?,?)
        subtype:  sumo#when_fn (sumo#physical -> sumo#time_interval)  maps an object or process ?p to the exact time_interval during which it exists (for every time_point ?t outside of the time_interval, (time ?p ?t) does not hold
        subtype:  sumo#past_fn (?,?)
        subtype:  sumo#immediate_past_fn (?,?)
        subtype:  sumo#future_fn (?,?)
        subtype:  sumo#immediate_future_fn (?,?)
        subtype:  sumo#year_fn (?,?)
        subtype:  sumo#month_fn__monthfn (?,?)
        subtype:  sumo#day_fn__dayfn (?,?)
        subtype:  sumo#hour_fn (?,?)
        subtype:  sumo#minute_fn (?,?)
        subtype:  sumo#second_fn (?,?)
        subtype:  sumo#temporal_composition_fn (?,?)
        subtype:  sumo#relative_time_fn (?,?)
        subtype:  sumo#holds_during__holdsduring (sumo#time_position,sumo#formula)  means that the proposition denoted by is true at (every temporal_part of) the time_position
     subtype:  pm#object_relation (?,?)
        subtype:  pm#object__patient___theme__theme (pm#situation,?)
        subtype:  pm#domain_object (pm#domain,?)
     subtype:  dl#conceptual_relation (dl#entity,dl#entity)
        subtype:  dl#immediate_relation__immediaterelation (dl#entity,dl#entity)
        subtype:  dl#mediated_relation (dl#entity,dl#entity)
     subtype:  pm#relation_for_an_application (*)  relation introduced by an application
        subtype:  pm#relation_coming_from_an_ontology (*)
     subtype:  pm#domain_related_relation__domain-related-thing (?,?)
        subtype:  pm#relation_from_a_domain__thing_in_domain (pm#domain,?)
        subtype:  pm#relation_from_a_thing_that_is_not_a_domain__thing_in_domain_of_object (pm#thing_that_is_not_a_domain,?)
        subtype:  pm#relation_to_a_domain__sub-domain_or_object-subdomain (?,pm#domain)
        subtype:  pm#relation_to_a_thing_that_is_not_a_domain__domain-related-object (?,pm#thing_that_is_not_a_domain)
  subtype:  pm#wh-/how_relation (*)  this type permits to categorize relations according to the usual who/what/why/where/when/how questions ; this is a traditional but very subjective and ineffective way of categorizing relations 
     subtype:  pm#who_relation__whorelation (*)
        subtype:  pm#agent__doer (pm#situation [48..*],pm#entity [49..*])
        subtype:  pm#initiator (pm#situation,pm#causal_entity)
        subtype:  pm#experiencer (pm#situation,pm#causal_entity)
        subtype:  pm#owner (?,pm#causal_entity)  this is not a function: 0..N owner allowed
        subtype:  pm#generator (? -> pm#causal_entity)
        subtype:  pm#creator (pm#entity,pm#entity)
     subtype:  pm#what_relation (*)
        subtype:  pm#object/result (pm#situation,?)
        subtype:  pm#process_attribute__processattribute (pm#process,pm#process_attribute_or_quality_or_measure)
        subtype:  pm#mereological_relation (?,*)
        subtype:  pm#method (pm#process,pm#description)
        subtype:  pm#relation_from_collection (pm#collection,*)
        subtype:  pm#relation_to_collection (*,pm#collection)
        subtype:  pm#contextualizing_relation__contextualizingrelation (pm#description,*)
     subtype:  pm#why_relation__whyrelation (*)
        subtype:  pm#cause (pm#situation,pm#situation)  see also rst#cause
        subtype:  pm#consequence (pm#situation,pm#situation)  see also rst#effect
        subtype:  pm#method (pm#process,pm#description)
        subtype:  pm#goal (pm#process,pm#situation)
        subtype:  pm#triggering_event (pm#process,pm#event)
        subtype:  pm#ending_event (pm#process,pm#event)
        subtype:  pm#precondition (pm#process,pm#situation)
        subtype:  pm#postcondition (pm#process,pm#situation)
        subtype:  pm#purpose (?,?)
     subtype:  pm#where_relation__whererelation (*)  where, from/to where, ...
        subtype:  pm#from/to (pm#situation,pm#entity)
        subtype:  pm#place (pm#situation -> pm#spatial_object)
        subtype:  pm#path_length (pm#process -> pm#spatial_attribute_or_quality_or_measure)
        subtype:  pm#within_group (pm#situation,pm#collection)
        subtype:  pm#relation_to_another_spatial_object (pm#spatial_object,pm#spatial_object)
        subtype:  pm#spatial_origin__spatialorigin (?,?)
     subtype:  pm#when_relation (?,?)
        subtype:  pm#relation_to_time (*,pm#time_measure)
        subtype:  pm#relation_from_situation_to_situation (pm#situation,pm#situation)
        subtype:  pm#temporal_relation (?,?)
     subtype:  pm#how_relation__howrelation (*)
        subtype:  pm#instrument (pm#situation,pm#entity)
        subtype:  pm#method (pm#process,pm#description)
        subtype:  pm#sub_process__subproces (pm#process,pm#process)
        subtype:  pm#how_much_relation (*)
  subtype:  pm#relation_with_particular_property (*)  this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
     subtype:  pm#relation_with_particular_mathematical_property (*)
        subtype:  pm#binary_relation_with_particular_mathematical_property (?,?)
     subtype:  pm#binary_relation (?,?)  in WebKB, most relation types are binary and some have a variable number of arguments (as in KIF), hence this type is currently only specialized by types that I do not want to see as direct subtypes of pm#relation
        subtype:  pm#unary_function__unaryfunction (? -> ?)  function that requires a single argument; currently not specialized by the SUMO ternary relations since this seems useless (for now)
        subtype:  dc#Relation (?,?)  to specify a reference to a related resource; in WebKB, pm#relation or MORE PRECISE RELATION TYPES SHOULD BE USED INSTEAD
        subtype:  dc#Type (?,pm#entity)  to specify the nature or genre of the content of a resource; SHOULD NOT BE USED IN WEBKB
        subtype:  dc#Description (?,pm#entity)  to specify an account of the content of a resource; in WebKB, pm#topic or pmdescr SHOULD BE USED INSTEAD
        subtype:  pm#relation_from_or_to_WordNet_type (*)
        subtype:  nsm#before (?,?)
        subtype:  nsm#after (?,?)
     subtype:  pm#ternary_relation__ternaryrelation__ternary_only_relation (?,?,?)  relation with a fixed arity equal to 3; specialized by the SUMO ternary relations not categorized elsewhere
        subtype:  pm#binary_function (?,? -> ?)  function that requires two arguments; currently not specialized by the  SUMO ternary relations since this seems useless (for now)
        subtype:  sumo#confers_norm__confersnorm (pm#thing,sumo#formula,sumo#objective_norm)  the 1st argument brings it about that the formula has the objective_norm
        subtype:  sumo#deprives_norm (pm#thing,sumo#formula,sumo#objective_norm)  the 1st argument brings it about that the formula does not have the objective_norm
     subtype:  pm#quaternary_relation__quaternary_only_relation (?,?,?)  relation with a fixed arity equal to 4
        subtype:  kif#subst (?,?,? -> ?)
     subtype:  pm#relation_with_variable_arity (*)  this category only serves structuration purposes: it is instance of pm#variable_arity_relation_type which is not instance of pm#class_of_inheritable_relation_type; currently not specialized by the SUMO ternary relations since this seems useless (for now)
     subtype:  pm#relation_using_a_world_as_argument (dolce#world,*)
        subtype:  pm#relation_from_a_world (dolce#world,*)
     subtype:  lis#relationship (?,?)  indicates something that one thing has to do with another; click here for details
        subtype:  lis#composition_of_individual (lis#possible_individual,lis#possible_individual)  click here for details
        subtype:  lis#cause_of_event (lis#event [49..*],lis#activity [49..*])  click here for details
        subtype:  lis#relative_location (lis#possible_individual [49..*],lis#possible_individual)  indicates that the position of one possible_individual is relative to another; click here for details
        subtype:  lis#connection_of_individual (lis#possible_individual [49..*],lis#possible_individual)  click here for details
        subtype:  lis#individual_used_in_connection (lis#connection_of_individual,lis#possible_individual [49..*])  click here for details
        subtype:  lis#lifecycle_stage (?,?)
        subtype:  lis#involvement_by_reference (lis#thing,lis#activity [49..*])  click here for details
        subtype:  lis#specialization (lis#class,lis#class)  click here for details
        subtype:  lis#other_relationship__otherrelationship (?,?)
        subtype:  lis#classification (?,?)
        subtype:  lis#class_of_relationship_with_signature (lis#role_and_domain,lis#role_and_domain)  click here for details
        subtype:  lis#intended_role_and_domain (lis#role_and_domain,lis#possible_individual)  click here for details
        subtype:  lis#possible_role_and_domain (lis#role_and_domain,lis#possible_individual)  click here for details
        subtype:  lis#representation_of_thing (lis#thing,lis#possible_individual)  click here for details
        subtype:  lis#usage_of_representation (lis#representation_of_thing,lis#possible_individual)  click here for details
        subtype:  lis#responsibility_for_representation (lis#representation_of_thing,lis#possible_individual)  click here for details
        subtype:  lis#approval (lis#relationship,lis#possible_individual)  click here for details
        subtype:  lis#comparison_of_property (lis#property,lis#property)  click here for details
        subtype:  lis#functional_mapping (lis#thing,lis#thing)  click here for details
        subtype:  lis#recognition (lis#thing,lis#activity)  click here for details
        subtype:  lis#indirect_property (lis#possible_individual,lis#property)  click here for details
        subtype:  lis#temporal_sequence (lis#possible_individual,lis#possible_individual)  click here for details
     subtype:  lis#class_of_relationship (*)  click here for details
        subtype:  lis#class_of_composition_of_individual (lis#class_of_individual,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_connection_of_individual (lis#class_of_individual,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_classification (lis#class,lis#class_of_class)  click here for details
        subtype:  lis#class_of_representation_translation (lis#class_of_information_representation,lis#class_of_information_representation)  click here for details
        subtype:  lis#class_of_usage_of_representation (lis#class_of_representation_of_thing,lis#possible_individual)  click here for details
        subtype:  lis#class_of_responsibility_for_representation (lis#class_of_representation_of_thing,lis#possible_individual)  click here for details
        subtype:  lis#class_of_lifecycle_stage (*)
        subtype:  lis#class_of_assertion (*)
        subtype:  lis#class_of_individual_used_in_connection (lis#class_of_connection_of_individual,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_approval (lis#class_of_relationship,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_possible_role_and_domain (lis#class_of_individual,lis#role_and_domain)  click here for details
        subtype:  lis#class_of_involvement_by_reference (lis#role_and_domain,lis#class_of_activity)  click here for details
        subtype:  lis#class_of_relationship_with_signature (lis#role_and_domain,lis#role_and_domain)  click here for details
        subtype:  lis#class_of_specialization__classofspecialization (lis#class_of_class,lis#class_of_class)  click here for details
        subtype:  lis#class_of_intended_role_and_domain (lis#class_of_individual,lis#role_and_domain)  click here for details
        subtype:  lis#class_of_approval_by_status (*)
        subtype:  lis#class_of_representation_of_thing (lis#class_of_information_representation,lis#thing)  click here for details
        subtype:  lis#class_of_relative_location (lis#class_of_individual,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_functional_mapping (lis#class,lis#class)  click here for details
        subtype:  lis#class_of_recognition (lis#class,lis#class_of_activity)  click here for details
        subtype:  lis#class_of_indirect_property (lis#class_of_individual,lis#property_space)  click here for details
        subtype:  lis#class_of_cause_of_beginning_of_class_of_individual (lis#class_of_individual,lis#class_of_activity)  click here for details
        subtype:  lis#dimension_of_individual (lis#possible_individual,lis#individual_dimension)  click here for details
        subtype:  lis#property_for_shape_dimension (lis#property,lis#shape_dimension)  click here for details
        subtype:  lis#class_of_temporal_sequence (lis#class_of_individual,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_cause_of_ending_of_class_of_individual (lis#class_of_activity,lis#class_of_individual)  click here for details
        subtype:  lis#class_of_relationship_with_related_end_1 (lis#thing)  click here for details
        subtype:  lis#class_of_relationship_with_related_end_2 (lis#thing)  click here for details
     subtype:  lis#class_of_class_of_relationship (?,?)  click here for details
        subtype:  lis#class_of_class_of_usage_of_representation (lis#class_of_class_of_representation,lis#possible_individual)  click here for details
        subtype:  lis#class_of_class_of_responsibility_for_representation (lis#class_of_class_of_representation,lis#possible_individual)  click here for details
        subtype:  lis#class_of_class_of_representation_translation (lis#class_of_class_of_representation,lis#class_of_class_of_representation)  click here for details
        subtype:  lis#class_of_class_of_relationship_with_signature (?,?)
        subtype:  lis#class_of_class_of_representation (lis#class_of_class_of_representation,lis#class)  click here for details
        subtype:  lis#class_of_dimension_for_shape (lis#class_of_shape_dimension,lis#class_of_shape)  click here for details
        subtype:  lis#class_of_class_of_composition (lis#class_of_class_of_individual,lis#class_of_class_of_individual)  click here for details
        subtype:  lis#property_space_for_class_of_shape_dimension (lis#class_of_shape_dimension,lis#property_space)  click here for details
        subtype:  lis#class_of_scale (?,?)
        subtype:  lis#class_of_namespace (lis#class_of_class_of_information_representation,lis#class_of_information_representation)  click here for details
        subtype:  lis#dimension_of_shape (lis#shape_dimension,lis#shape)  click here for details

No statement uses or specializes pm#relation; click here to add one.

298 categories printed (given exploration depth: 3)