pm#virtual_class__virtualclas  class that should not be used directly: its subtypes should be used instead
  supertype:  sumo#class__clas (sumo)  classes differ from sets in three important respects: 1) classes are not assumed to be extensional, i.e. distinct classes might well have exactly the same instances, 2) classes typically have an associated `condition' that determines the instances of the class, e.g., the condition `human' determines the "class of humans" (note that some classes might satisfy their own condition (e.g., the "class of abstract things" is "abstract") and hence be instances of themselves), 3) the instances of a class may occur only once within the class, i.e. a class cannot contain duplicate instances
  subtype:  pm#virtual_relation_type
     instance:  pm#domain_related_relation__domain-related-thing (?,?)
        subtype:  pm#relation_from_a_domain__thing_in_domain (pm#domain,?)
           subtype:  pm#subdomain__true-subdomain (pm#domain,pm#domain)  in WebKB-2, ">part" is an abbreviation of this relation since it is not  
 a part relation nor a specialization relation but a mix of both; 
 for details, see http://www.webkb.org/kb/it/o_domain/d_field_of_study.html
           subtype:  pm#domain_object (pm#domain,?)
              subtype:  pm#core_domain_object__central_object_of_domain (pm#domain,?)
        subtype:  pm#relation_from_a_thing_that_is_not_a_domain__thing_in_domain_of_object (pm#thing_that_is_not_a_domain,?)
           subtype:  pm#object_subdomain__subdomain_of_object (pm#thing_that_is_not_a_domain,pm#domain)
           subtype:  pm#object_in_domain_of_object (pm#thing_that_is_not_a_domain,pm#thing_that_is_not_a_domain)  all relations non exclusive with this one are subtypes of this one; this is stated via:
 pm#relation subtype: {(pm#object_in_domain_of_object  pm#relation_from_a_domain pm#object_subdomain)};
        subtype:  pm#relation_to_a_domain__sub-domain_or_object-subdomain (?,pm#domain)
           subtype:  pm#subdomain__true-subdomain (pm#domain,pm#domain)  in WebKB-2, ">part" is an abbreviation of this relation since it is not  
 a part relation nor a specialization relation but a mix of both; 
 for details, see http://www.webkb.org/kb/it/o_domain/d_field_of_study.html
           subtype:  pm#subdomain_of_object (?,pm#domain)
        subtype:  pm#relation_to_a_thing_that_is_not_a_domain__domain-related-object (?,pm#thing_that_is_not_a_domain)
           subtype:  pm#domain_object (pm#domain,?)
           subtype:  pm#object_in_domain (?,pm#thing_that_is_not_a_domain)
     instance:  pm#relation_from_a_domain__thing_in_domain (pm#domain,?)
     instance:  pm#relation_from_a_thing_that_is_not_a_domain__thing_in_domain_of_object (pm#thing_that_is_not_a_domain,?)
     instance:  pm#object_in_domain_of_object
     instance:  pm#relation_to_a_domain__sub-domain_or_object-subdomain (?,pm#domain)
     instance:  pm#relation_to_a_thing_that_is_not_a_domain__domain-related-object (?,pm#thing_that_is_not_a_domain)

No statement uses or specializes pm#virtual_class; click here to add one.


Another search (with same display options)?