Relation pm#transitive_relation (?,?)  this category only serves structuration purposes: it is instance of pm#transitive_relation_type which is not instance of pm#class_of_inheritable_relation_type
  supertype:  pm#binary_relation_with_particular_mathematical_property
  instance of:  pm#transitive_relation_type
  subtype:  pm#equivalence_relation__equivalencerelation (?,?)  this category only serves structuration purposes: it is instance of pm#equivalence_relation_type which is not instance of pm#class_of_inheritable_relation_type
     subtype:  pm#similar (?,?)  DO NOT USE SUCH A RELATION TYPE DIRECTLY
        subtype:  pm#closely_similar__closelysimilar (?,?)  the '~' link in WebKB-2: currently only used between categories for Greek gods and their Roman counterparts, and between some types from the 3D (endurantist) approach and their counterparts from the 4D (perdurantist) approach or the ?D (vague/unspecified) approach)
        subtype:  pm#loosely_similar__looselysimilar (?,?)
        subtype:  pm#related_to__relatedto (?,?)  the '&' link in WebKB-2 (currently used for representing a sumo#related_internal_concept relation)
           subtype:  sumo#related_internal_concept (?,?)  the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them; to indicate a meaning relation between a SUMO concept and a concept from another source, use sumo#related_external_concept
     subtype:  pm#equal (?,?)  "=" in KIF; true if the 1st argument is identical to the 2nd
        subtype:  owl#same_as (?,?)  MORE PRECISE TYPES THAN THIS ONE SHOULD BE USED
           subtype:  pm#same_type_as (pm#type,pm#type)
              subtype:  owl#equivalent_class (rdfs#class,rdfs#class)  in WebKB, use the link '='
              subtype:  owl#equivalent_property (pm#binary_relation_type,pm#binary_relation_type)  in WebKB, use the link '='
           subtype:  owl#same_individual_as (?,?)
     subtype:  pm#equivalence__equivalentTo___iff__iff (pm#description,pm#description)
     subtype:  sumo#copy (sumo#object,sumo#object)  relates an object to an exact copy of the object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location
     subtype:  sumo#equivalent_content_class (?,?)
     subtype:  sumo#equivalent_content_instance (?,?)
     subtype:  sumo#cooccur (?,?)
     subtype:  sumo#family_relation (?,?)
  subtype:  pm#partial_ordering_relation (?,?)  this category only serves structuration purposes: it is instance of pm#partial_ordering_relation_type which is not instance of pm#class_of_inheritable_relation_type
     subtype:  pm#total_ordering_relation (?,?)  this category only serves structuration purposes: it is instance of pm#total_ordering_relation_type which is not instance of pm#class_of_inheritable_relation_type
        subtype:  pm#inferior_to__less_than___superior__superior (?,?)  fuzzy category, DO NOT USE DIRECTLY
        subtype:  pm#superior_to__more_than___inferior__inferior (?,?)  fuzzy category, DO NOT USE DIRECTLY
        subtype:  pm#before (pm#time_measure,pm#time_measure)
        subtype:  pm#after (pm#time_measure,pm#time_measure)
        subtype:  pm#before_location__before (pm#spatial_object,pm#spatial_object)
     subtype:  pm#inferior_or_equal_to__less_than_or_equal_to___superior_or_equal___maximum__maximum (?,?)  fuzzy category, DO NOT USE DIRECTLY
     subtype:  pm#superior_or_equal_to__more_than_or_equal_to___inferior_or_equal___minimum__minimum (?,?)  fuzzy category, DO NOT USE DIRECTLY
     subtype:  pm#generalizing_type (?,pm#type)  fuzzy category, DO NOT USE DIRECTLY
        subtype:  pm#supertype (pm#type,pm#type)  in the FT notation, the '<' link is only used to connect to a "strict" supertype
           subtype:  rdfs#sub_class_of__subclassof__super_class__superclas (rdfs#class,rdfs#class)  in WebKB, use the link '<'
           subtype:  sumo#subrelation (pm#relation_type,pm#relation_type)  if the common reading conventions of parameters had been respected, this type would have been named subclass_of; every tuple of the 1st argument (r1) is also a tuple of the 2nd argument (r2), i.e. if r1 holds for some arguments arg_1, arg_2, ... arg_n, then the r2 holds for the same arguments; a consequence of this is that a relation and its subrelations must have the same valence
              subtype:  rdfs#sub_property_of (pm#binary_relation_type,pm#binary_relation_type)  in WebKB, use the link '<'
        subtype:  pm#kind__type___class___instance_of__instanceof (?,rdfs#class)  the '^' link in the FT notation
     subtype:  sumo#subclass__subclass_of (sumo#set_or_class,sumo#set_or_class)  if the common reading conventions of parameters had been respected, this type would have been named subclass_of; every instance of the 1st argument is also an instance of the 2nd argument; a class may have multiple superclasses and subclasses
        subtype:  sumo#immediate_subclass__immediate_subclass_of (sumo#set_or_class,sumo#set_or_class)  the 1st argument is a subclass of the 2nd argument and there is no other subclass of the 2nd argument such that the 1st is also a subclass of the 2nd; in WebKB, use the link '<'
     subtype:  pm#specializing_type (pm#type,?)
        subtype:  pm#instance (pm#type,?)  the ':' link in the FT notation
        subtype:  pm#subtype__subtype_or_equal (pm#type,pm#type)  subtype links should actually be strict subtype links or not much checking can be done
           subtype:  pm#strict_subtype (pm#type,pm#type)  the '>' link in the FT notation
              subtype:  dl#properly_subsumes_leaf__PSBL (pm#type,pm#type)  the 2nd type is a leaf type properly subsumed by the 1st type
           subtype:  dl#subsumes_leaf__SBL (pm#type,pm#type)  the 2nd type is a leaf type subsumed by the 1st type
              subtype:  dl#properly_subsumes_leaf__PSBL (pm#type,pm#type)  the 2nd type is a leaf type properly subsumed by the 1st type
     subtype:  pm#constitution (?,?)
        subtype:  pm#substance (? -> ?)
           subtype:  pm#matter (pm#physical_entity -> pm#physical_entity_part_or_substance)
        subtype:  dl#constituted_by__constitutedby__substance___K__k (dl#entity,dl#entity)
           subtype:  dl#has_member__hasmember (dl#entity,dl#entity)
     subtype:  pm#part (?,?)
        subtype:  pm#sub_situation__subsituation (pm#situation,pm#situation)
           subtype:  pm#sub_process__subproces (pm#process,pm#process)
           subtype:  dl#temporal_part__P.T (dl#perdurant,dl#perdurant)
           subtype:  dl#spatial_part__spatialpart__P.S (dl#perdurant,dl#perdurant)
        subtype:  pm#spatial_part__spatialpart (pm#spatial_object,pm#spatial_object)
           subtype:  pm#physical_part (pm#physical_entity,pm#physical_entity)
        subtype:  pm#sub_collection__subcollection (pm#collection,pm#collection)  a partial order relation
           subtype:  pm#ending_collection (pm#collection,pm#collection)
              subtype:  pm#final_segment__finalsegment (pm#collection,pm#collection)  the second collection is a final segment of the 1st
           subtype:  kif#sublist__final_segment_of__finalsegmentof (sumo#list,sumo#list)  USE pm#final_segment INSTEAD OF THIS RELATION TYPE; "sublist" is a misleading name; "final_segment_of" is better
        subtype:  pm#main_part (?,?)
        subtype:  pm#first_part__firstpart (?,?)
           subtype:  kif#first (sumo#list -> ?)
              subtype:  rdf#first (rdf#list -> ?)
        subtype:  pm#last_part (?,?)
           subtype:  kif#last (sumo#list -> ?)
        subtype:  pm#part_in_Dolce_Lite (dl#entity,dl#entity)
           subtype:  dl#part (dl#entity,dl#entity)  the subpart may or may not be different from the whole
              subtype:  dl#component (dl#entity,dl#entity)
              subtype:  dl#atomic_part (dl#entity,dl#atom)  an undivisible part
                 subtype:  dl#temporary_atomic_part__AtP (dl#entity,dl#atom)
           subtype:  dl#proper_part (dl#entity,dl#entity)  the subpart is different from the whole
           subtype:  dl#temporary_proper_part (dl#endurant,dl#endurant)
           subtype:  dl#temporary_part__temporarypart (dl#endurant,dl#endurant)
              subtype:  dl#temporary_component__temporarycomponent (dl#endurant,dl#endurant)
           subtype:  dl#constant_part (dl#entity,dl#entity)
           subtype:  dl#sibling_part__siblingpart (dl#entity,dl#entity)
        subtype:  pm#in_proceedings (#conference,#publication)
     subtype:  pm#wnMember (?,?)  member relation in WordNet
        subtype:  pm#member (pm#collection,*)
           subtype:  pm#domain_object (pm#domain,?)
              subtype:  pm#core_domain_object__central_object_of_domain (pm#domain,?)
           subtype:  pm#reverse_of_KIF_member (kif#set,?)  this type only exists to make the connection to kif#member (which should have been named kif#member_of to respect the common reading conventions of parameters)
           subtype:  pm#item (sumo#list,?)
              subtype:  rdf#item (rdf#list,?)  for item(L,I) read: I is an item in L; either first(L,I) or item(R,I) where rest(L,R)
           subtype:  rdf#li (pm#collection,*)
           subtype:  kif#first (sumo#list -> ?)
           subtype:  kif#last (sumo#list -> ?)
           subtype:  kif#butlast (sumo#list -> ?)
           subtype:  kif#nth (sumo#list,sumo#positive_integer -> ?)
     subtype:  pm#sub_collection__subcollection (pm#collection,pm#collection)  a partial order relation
     subtype:  sumo#sub_attribute__subattribute (sumo#Attribute,sumo#Attribute)  the second argument can be ascribed to everything which has the first argument ascribed to it
     subtype:  sumo#sub_collection__subcollection__sub_collection_of (sumo#collection,sumo#collection)  the 1st collection is a proper part of the 2nd
     subtype:  sumo#less_than_or_equal_to (?,?)
     subtype:  sumo#greater_than_or_equal_to (?,?)
     subtype:  sumo#sub_list__sublist__sub_list_of (sumo#list,sumo#list)  the 1st argument is a sublist of the 2nd, i.e. every element of the 1st is an element of the 2nd and the elements that are common to both lists have the same order in both lists
        subtype:  sumo#initial_list__initiallist (sumo#list,sumo#list)  the 1st argument (?L1) is a sublist of the 2nd (?L2), and (sumo#list_order_fn ?L1 ?NUMBER) returns the same value as (sumo#list_order_fn ?L2 ?N) for all of the values of ?N over which (sumo#list_order_fn ?L1 ?N) is defined
     subtype:  sumo#initial_list__initiallist (sumo#list,sumo#list)  the 1st argument (?L1) is a sublist of the 2nd (?L2), and (sumo#list_order_fn ?L1 ?NUMBER) returns the same value as (sumo#list_order_fn ?L2 ?N) for all of the values of ?N over which (sumo#list_order_fn ?L1 ?N) is defined
     subtype:  sumo#subsumes_content_class (?,?)
     subtype:  sumo#subsumes_content_instance (?,?)
     subtype:  sumo#temporal_part (?,?)
     subtype:  sumo#before_or_equal (?,?)
     subtype:  sumo#sub_process__subproces (?,?)
     subtype:  sumo#sub_organization__suborganization (?,?)
     subtype:  sumo#geometric_part__geometricpart (?,?)
  subtype:  sumo#successor_attribute_closure__successorattributeclosure (sumo#Attribute,sumo#Attribute)  transitive closure of successor_attribute: there is a chain of sumo#successor_attribute assertions connecting the two arguments
  subtype:  sumo#proper_part__proper_part_of (sumo#object,sumo#object)  the 1st argument is part of the 2nd but is not it; this is a transitive_relation and asymmetric_relation (hence an irreflexive_relation)
  subtype:  sumo#less_than (sumo#quantity,sumo#quantity)
  subtype:  sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
  subtype:  sumo#located (sumo#physical,sumo#object)  the 1st argument is partly_located at the object, and there is no part or sub_process of the 1st argument that is not located at the object
     subtype:  sumo#exactly_located (sumo#physical,sumo#object)  the actual, minimal location of an object
  subtype:  sumo#crosses__crosse (sumo#object,sumo#object)  the 1st object traverses the second without being connected to it
  subtype:  sumo#precondition (?,?)
  subtype:  sumo#sub_proposition__subproposition (?,?)
  subtype:  sumo#sub_plan__subplan (?,?)
  subtype:  sumo#larger (sumo#object,*)
  subtype:  sumo#smaller (sumo#object,*)
  subtype:  sumo#starts (?,?)
  subtype:  sumo#finishes (?,?)
  subtype:  sumo#before (?,?)
  subtype:  sumo#during (?,?)
  subtype:  sumo#earlier (?,?)
  subtype:  sumo#superficial_part__superficialpart (?,?)
  subtype:  sumo#interior_part (?,?)
  subtype:  sumo#geographic_subregion (?,?)
  subtype:  sumo#geopolitical_subdivision (?,?)
  subtype:  sumo#developmental_form__developmentalform (?,?)
  subtype:  sumo#version (?,?)
  subtype:  sumo#ancestor (?,?)
  subtype:  sumo#brother (?,?)
  subtype:  sumo#sister (?,?)
  subtype:  dl#part (dl#entity,dl#entity)  the subpart may or may not be different from the whole
  subtype:  dl#proper_part (dl#entity,dl#entity)  the subpart is different from the whole

132 categories printed