Relation pm#relation_to_collection (*,pm#collection)
  exclusion:  pm#relation_to_situation  pm#spatial_relation_to_entity_with_spatial_feature  pm#relation_to_time  pm#relation_to_attribute_or_quality_or_measure
  supertype:  pm#relation_from/to_thing_of_common_kind  pm#what_relation
  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#member (?,kif#set)  this type SHOULD NOT BE USED IN WEBKB: if the common reading conventions of parameters had been respected, the parameters would be swapped or the type would be named member_of
  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:  kif#cons (?,sumo#list -> sumo#list)
     subtype:  kif#adjoin (?,sumo#list -> sumo#list)
     subtype:  kif#remove (?,sumo#list -> sumo#list)
  subtype:  pm#relation_between_collections (pm#collection,pm#collection+)
     subtype:  pm#sub_collection__subcollection (pm#collection,pm#collection)  a partial order relation
        subtype:  pm#ending_collection (pm#collection,pm#collection)
           subtype:  pm#final_segment__finalsegment (pm#collection,pm#collection)  the second collection is a final segment of the 1st
        subtype:  kif#sublist__final_segment_of__finalsegmentof (sumo#list,sumo#list)  USE pm#final_segment INSTEAD OF THIS RELATION TYPE; "sublist" is a misleading name; "final_segment_of" is better
     subtype:  pm#sub_collection_of (pm#collection,pm#collection)  DO NOT use this type; it only exists because the SUMO does not respect common reading conventions of parameters
        subtype:  sumo#sub_collection__subcollection__sub_collection_of (sumo#collection,sumo#collection)  the 1st collection is a proper part of the 2nd
        subtype:  sumo#sub_list__sublist__sub_list_of (sumo#list,sumo#list)  the 1st argument is a sublist of the 2nd, i.e. every element of the 1st is an element of the 2nd and the elements that are common to both lists have the same order in both lists
           subtype:  sumo#initial_list__initiallist (sumo#list,sumo#list)  the 1st argument (?L1) is a sublist of the 2nd (?L2), and (sumo#list_order_fn ?L1 ?NUMBER) returns the same value as (sumo#list_order_fn ?L2 ?N) for all of the values of ?N over which (sumo#list_order_fn ?L1 ?N) is defined
        subtype:  pm#final_segment_of__finalsegmentof (pm#collection,pm#collection)  USE pm#final_segment INSTEAD
           subtype:  kif#sublist__final_segment_of__finalsegmentof (sumo#list,sumo#list)  USE pm#final_segment INSTEAD OF THIS RELATION TYPE; "sublist" is a misleading name; "final_segment_of" is better
     subtype:  pm#overlapping_collection__overlappingcollection (pm#collection,pm#collection)
     subtype:  pm#not_overlapping_collection__notoverlappingcollection (pm#collection,pm#collection)
        subtype:  pm#collection_complement (pm#collection,pm#collection)
     subtype:  kif#rest (sumo#list -> sumo#list)
        subtype:  rdf#rest (rdf#list -> rdf#list)
     subtype:  kif#append (sumo#list,sumo#list -> sumo#list)
     subtype:  sumo#list_concatenate_fn (sumo#list,sumo#list -> sumo#list)  returns the concatenation of two lists
     subtype:  kif#revappend (sumo#list,sumo#list -> sumo#list)
     subtype:  kif#reverse (sumo#list -> sumo#list)
     subtype:  pm#relation_from_type_to_collection (pm#type,pm#collection)
        subtype:  pm#partition (pm#type,pm#collection)
        subtype:  pm#instances__instance (pm#type -> pm#collection)
        subtype:  pm#subtypes (pm#type -> pm#collection)
        subtype:  pm#relation_from_class_to_collection (rdfs#class,pm#collection)
           subtype:  owl#union_of__unionof (rdfs#class,rdf#list)  for unionOf(X,L) read: X is the union of the classes in the list L; i.e. if something is in any of the classes in L, it is in X, and vice versa
              subtype:  daml#disjoint_union_of (rdfs#class,rdf#list)  for disjointUnionOf(X,L) read: X is the disjoint union of the classes in the list L: (a) for any c1 and c2 in L, disjointWith(c1,c2), and (b) i.e. if something is in any of the classes in L, it is in X, and vice versa
           subtype:  owl#intersection_of (rdfs#class,rdf#list)  for intersectionOf(X,Y) read: X is the intersection of the classes in the list Y; i.e. if something is in all the classes in Y, then it's in X, and vice versa
           subtype:  owl#one_of__oneof (rdfs#class,rdf#list)  for oneOf(C,L) read everything in C is one of the things in L
           subtype:  owl#distinct_members (owl#all_different,rdf#list)
           subtype:  pm#relation_to_another_class (rdfs#class,rdfs#class+)
              subtype:  rdfs#sub_class_of__subclassof__super_class__superclas (rdfs#class,rdfs#class)  in WebKB, use the link '<'
              subtype:  owl#equivalent_class (rdfs#class,rdfs#class)  in WebKB, use the link '='
              subtype:  pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class)  the 2 classes have no common subtype/instance; in WebKB, use the link '!'
                 subtype:  pm#complement_class (rdfs#class -> rdfs#class)  if something is not in one of the classes, then it is in the other, and vice versa; in WebKB, use the link '/'
              subtype:  daml#restricted_by (rdfs#class,owl#restriction)
              subtype:  sumo#disjoint_decomposition (sumo#class,sumo#class+)  a disjoint_decomposition of a class C is a set of mutually disjoint subclasses of C
                 subtype:  sumo#partition (sumo#class,sumo#class+)  a partition of a class C is a set of mutually disjoint classes (a subclass partition) covering C; each instance of C is instance of exactly one of the subclasses in the partition
              subtype:  sumo#exhaustive_decomposition (sumo#class,sumo#class+)  an exhaustive_decomposition of a class C is a set of subclasses of C such that every instance of C is an instance of one of the subclasses in the set; note:  this does not necessarily mean that the elements of the set are disjoint (see sumo#partition - a partition is a disjoint exhaustive decomposition)
                 subtype:  sumo#partition (sumo#class,sumo#class+)  a partition of a class C is a set of mutually disjoint classes (a subclass partition) covering C; each instance of C is instance of exactly one of the subclasses in the partition
     subtype:  pm#relation_to_another_set_or_class (pm#set_or_class,pm#set_or_class+)  this category is needed to group SUMO relations between classes which cannot be subtype of pm#relation_from_type because their signatures curiously also involve sets
        subtype:  pm#disjoint (pm#set_or_class,pm#set_or_class)  like sumo#disjoint but from a a pm#set_or_class to another
           subtype:  sumo#disjoint (sumo#set_or_class,sumo#set_or_class)  classes are exclusive/disjoint only if they share no instance (and hence no subtype), i.e. just in case the result of applying sumo#intersection_fn to them is empty
           subtype:  pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class)  the 2 classes have no common subtype/instance; in WebKB, use the link '!'
        subtype:  pm#subclass_of_or_equal (pm#set_or_class,pm#set_or_class)
           subtype:  sumo#subclass__subclass_of (sumo#set_or_class,sumo#set_or_class)  if the common reading conventions of parameters had been respected, this type would have been named subclass_of; every instance of the 1st argument is also an instance of the 2nd argument; a class may have multiple superclasses and subclasses
              subtype:  sumo#immediate_subclass__immediate_subclass_of (sumo#set_or_class,sumo#set_or_class)  the 1st argument is a subclass of the 2nd argument and there is no other subclass of the 2nd argument such that the 1st is also a subclass of the 2nd; in WebKB, use the link '<'
           subtype:  rdfs#sub_class_of__subclassof__super_class__superclas (rdfs#class,rdfs#class)  in WebKB, use the link '<'
        subtype:  sumo#power_set_fn__powersetfn (sumo#set_or_class -> sumo#set_or_class)  maps the argument to the set_or_class of all its subclasses
        subtype:  pm#relation_to_another_class (rdfs#class,rdfs#class+)
     subtype:  pm#relation_to_another_ontology (pm#ontology,pm#ontology)
        subtype:  owl#backward_compatible_with (pm#ontology,pm#ontology)
        subtype:  owl#incompatible_with (pm#ontology,pm#ontology)
        subtype:  owl#prior_version__priorversion (pm#ontology,pm#ontology)
  subtype:  pm#relation_to_set_or_class (*,pm#set_or_class)
     subtype:  sumo#closed_on (pm#function_type,sumo#set_or_class)  a binary_function is closed on a set_or_class if it is defined for all instances of the set_or_class and its value is always an instance of the set_or_class
     subtype:  sumo#reflexive_on__reflexiveon (pm#binary_relation_type,sumo#set_or_class)  a binary_relation is reflexive on a set_or_class only if every instance of the set_or_class bears the relation to itself
     subtype:  sumo#irreflexive_on__irreflexiveon (pm#binary_relation_type,sumo#set_or_class)  a binary_relation is irreflexive on a set_or_class only if no instance of the set_or_class bears the relation to itself
     subtype:  sumo#partial_ordering_on (pm#binary_relation_type,sumo#set_or_class)  a binary_relation is a partial ordering on a set_or_class only if the relation is reflexive_on the set_or_class, and it is both an antisymmetric_relation, and a transitive_relation
     subtype:  sumo#total_ordering_on (pm#binary_relation_type,sumo#set_or_class)  a binary_relation ?REL is a total ordering on a set_or_class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the set_or_class
     subtype:  sumo#trichotomizing_on (pm#binary_relation_type,sumo#set_or_class)
     subtype:  sumo#equivalence_relation_on (pm#binary_relation_type,sumo#set_or_class)  a binary_relation is an equivalence_relation_on a set_or_class only if the relation is reflexive_on the set_or_class and it is both a transitive_relation and a symmetric_relation
     subtype:  pm#relation_to_class (*,rdfs#class)
        subtype:  pm#kind__type___class___instance_of__instanceof (?,rdfs#class)  the '^' link in the FT notation
        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_set_or_class (pm#set_or_class,pm#set_or_class+)  this category is needed to group SUMO relations between classes which cannot be subtype of pm#relation_from_type because their signatures curiously also involve sets
  subtype:  pm#relation_to_type (*,pm#type)
     subtype:  pm#relation_to_class (*,rdfs#class)
  subtype:  pm#relation_to_string (*,pm#string)
     subtype:  dl#extrinsic_relation__extrinsicrelation (?,rdfs#Literal)  support for relations ranging on concrete data types
        subtype:  dl#name (dl#entity,rdfs#Literal)  a relation between an instance of a concept and the name (instance of a concrete data type) of that concept; the name has to be a lexically meaningful name
        subtype:  dl#identifier (dl#entity -> rdfs#Literal)  a relation between an individual of a concept and the identifier of that concept; the identifier is a concrete data type, usually non_meaningful from the lexical viewpoint; useful to map many database relationships