pm#partial_ordering_relation_type binary_relation that is reflexive, antisymmetric and transitive
supertype: pm#reflexive_relation_type pm#antisymmetric_relation_type pm#transitive_relation_type instance: 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 (?,?)
instance: 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
instance: pm#inferior_or_equal_to pm#superior_or_equal_to
instance: pm#generalizing_type (?,pm#type) fuzzy category, DO NOT USE DIRECTLY
instance: pm#specializing_type (pm#type,?)
instance: pm#constitution (?,?)
instance: pm#part (?,?)
instance: pm#wnMember (?,?) member relation in WordNet
instance: pm#sub_collection__subcollection (pm#collection,pm#collection) a partial order relation
instance: 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
instance: 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
instance: sumo#sub_attribute
instance: sumo#part__part_of (sumo#object,sumo#object) this type should have been name sumo#part_of to respect the common reading conventions of parameters; all other mereological relations are defined in terms of this one; it means that the 1st argument is part of the 2nd; note that, since part is a reflexive_relation, every object is a part of itself
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#piece__piece_of__pieceof (sumo#substance,sumo#substance) a specialized common sense notion of part for arbitrary parts of substances; quasi-synonyms are: chunk, hunk, bit, etc; compare component, another subrelation of part
subtype: sumo#component__component_of__componentof (sumo#corpuscular_object,sumo#corpuscular_object) a specialized common sense notion of part for heterogeneous parts of complexes; the 1st argument is a component of the 2nd argument; examples: the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal; compare with sumo#piece, another specialization of sumo#part
subtype: sumo#member (sumo#self_connected_object,sumo#collection) a specialized common sense notion of part for uniform parts of collections; for example, each sheep in a flock of sheep would have the relationship of member to the flock
instance: sumo#sub_collection sumo#less_than_or_equal_to sumo#greater_than_or_equal_to
instance: 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
instance: sumo#initial_list sumo#subsumes_content_class sumo#subsumes_content_instance sumo#temporal_part sumo#before_or_equal sumo#sub_process sumo#sub_organization sumo#geometric_part
equal: sumo#partial_ordering_relation (pm)
subtype: pm#total_ordering_relation_type partial_ordering_relation that is a trichotomizing_relation
instance: 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
No statement uses or specializes pm#partial_ordering_relation_type; click here to add one.
103 categories printed