Relation pm#relation_from_restriction (owl#restriction,*)
  supertype:  pm#relation_from_class
  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)