Relation pm#relation_from_class (rdfs#class,*)
  supertype:  pm#relation_from_type  type of relations from a concept/relation type, i.e. in RDFS terminology, from a class or a property
  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:  sumo#abstraction_fn__abstractionfn (sumo#class -> sumo#Attribute)  a unary_function that maps a class into an attribute that specifies the condition(s) for membership in the class
  subtype:  pm#relation_from_sumo_process_class (pm#sumo_process_class,*)
     subtype:  sumo#causes_subclass (pm#sumo_process_class,pm#sumo_process_class)  the 1st argument brings about the 2nd, e.g., (causes_subclass killing death)
     subtype:  sumo#capability (pm#sumo_process_class,pm#case_relation_type,sumo#object)  the object  has the ability to play the role (case relation) in the given kinds of processes
     subtype:  sumo#has_skill__hasskill (pm#sumo_process_class,dl#agentive_physical_object)  similar to the capability predicate with the additional restriction that the ability be practised or demonstrated to some measurable degree
  subtype:  pm#relation_from_attribute_type (pm#attribute_class,*)
     subtype:  sumo#contrary_attribute (pm#attribute_class,pm#attribute_class+)  set of attributes such that something can not simultaneously have more than one of these attributes, e.g., in KIF, (sumo#contrary_aAttribute sumo#pliable sumo#rigid) means that nothing can be both pliable and rigid
     subtype:  sumo#exhaustive_attribute (pm#attribute_class,pm#attribute_class+)  this predicate relates a class to several types of attributes, and it means that the elements of this set exhaust the instances of the class; for example, in KIF, (sumo#exhaustiveAttribute sumo#physicalState sumo#solid sumo#fluid sumo#liquid sumo#gas) means that there are only three instances of the class sumo#physicalState, viz. sumo#solid, sumo#fluid, sumo#liquid, and sumo#gas
  subtype:  pm#relation_from_restriction (owl#restriction,*)
     subtype:  owl#on_property (owl#restriction,pm#binary_relation_type)  for onProperty(?restrClass,?rel), read: ?restrClass is a restricted with respect to property ?rel
     subtype:  owl#all_values_from (owl#restriction,rdfs#class)  for onProperty(?restrClass,?rel) and toClass(?restrClass,C), read: i instance of ?restrClass if and only if for all j, ?rel(i,j) implies type(j,C)
     subtype:  owl#has_value__hasvalue (owl#restriction,?)  for onProperty(?restrClass,?rel) and hasValue(?restrClass,V), read: i instance of ?restrClass if and only if ?rel(i,V), i.e. if and only if any ?rel from ?i has for destination an instance of C; toValue is an obsolete name
     subtype:  owl#some_values_from (owl#restriction,rdfs#class)  for onProperty(?restrClass,?rel) and some_values_from(?restrClass,C), read: i instance of ?restrClass if and only if for some j, ?rel(i,j) and type(j,C), i.e. if and only if i has at least one ?rel which has for destination an instance of C
     subtype:  daml#has_class_q__hasclassq (owl#restriction,rdfs#class)  property for specifying class restriction with cardinalityQ constraints
     subtype:  owl#cardinality (owl#restriction -> sumo#nonnegative_integer)  for onProperty(?restrClass,?rel) and cardinality(?restrClass,n), read: i instance of ?restrClass if and only if there are exactly n distinct j with ?rel(i,j)
     subtype:  daml#cardinality_q__cardinalityq (owl#restriction -> sumo#nonnegative_integer)  for onProperty(?restrClass,?rel), cardinalityQ(?restrClass,n) and hasClassQ(?restrClass,C), read: i instance of ?restrClass if and only if there are exactly n distinct j with ?rel(i,j) and type(j,C)
     subtype:  owl#min_cardinality__mincardinality (owl#restriction -> sumo#nonnegative_integer)  for onProperty(?restrClass,?rel) and minCardinality(?restrClass,n), read: i instance of ?restrClass if and only if there are at least n distinct j with ?rel(i,j)
     subtype:  daml#min_cardinality_q__mincardinalityq (owl#restriction -> sumo#nonnegative_integer)  for onProperty(?restrClass,?rel), minCardinalityQ(?restrClass,n) and hasClassQ(?restrClass,C), read: i instance of ?restrClass if and only if there are at least n distinct j with ?rel(i,j)
     subtype:  owl#max_cardinality__maxcardinality (owl#restriction -> sumo#nonnegative_integer)  for onProperty(?restrClass,?rel) and maxCardinality(?restrClass,n), read: i instance of ?restrClass if and only if there are at most n distinct j with ?rel(i,j)
     subtype:  daml#max_cardinality_q__maxcardinalityq (owl#restriction,sumo#nonnegative_integer)  for onProperty(?restrClass,?rel), maxCardinalityQ(?restrClass,n) and hasClassQ(?restrClass,C), read: i instance of ?restrClass if and only if there are at most n distinct j with ?rel(i,j) and type(j,C)
  subtype:  pm#wnObject (rdfs#class,?)
  subtype:  pm#wnNounType (rdfs#class,?)