Relation sumo#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
  supertype:  Type (pm)  to specify the nature or genre of the content of a resource; SHOULD NOT BE USED IN WEBKB
  instance of:  binary_predicate_type (pm)
  related_to:  member
  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