Relation dc#Type (?,entity)  to specify the nature or genre of the content of a resource; SHOULD NOT BE USED IN WEBKB
  exclusion:  Description
  supertype:  binary_relation (pm)  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:  instance (?,set_or_class)  if the common reading conventions of parameters had been respected, this type would have been named instance_of; an object is an instance of a set_or_class if it is included in that set_or_class; an individual may be an instance of many classes, some of which may be subclasses of others; thus, there is no assumption in the meaning of instance about specificity or uniqueness
     subtype:  kind__type___class___instance_of__instanceof (?,class)  the '^' link in the FT notation
     subtype:  immediate_instance__immediateinstance (?,set_or_class)  if the common reading conventions of parameters had been respected, this type would have been named immediate_instance_of; an object is an immediate_instance of a set_or_class if it is an instance of the set_or_class and there does not exist a subclass of set_or_class such that it is an instance of the subclass