Relation pm#relation_to_another_class (rdfs#class,rdfs#class+)
  supertype:  pm#relation_from_class_to_collection  pm#relation_to_another_set_or_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