pm#2nd_order_type__2ndordertype__type2 all 2nd order types are implicitely or explicitely instance of that 3rd order type
exclusion: pm#1st_order_type
supertype: pm#type second-order type or more
subtype: pm#class_of_inheritable_relation_type each instance RT of this class is a subclass of the 2nd-order_type pm#relation_type and the properties of RT can be inherited downward in the class hierarchy via the "subrelation" predicate
instance: pm#relation_type there are three kinds of relation(_types): pm#predicate_type, pm#function_type and sumo#list; both predicates and functions denote sets of ordered n-tuples; the difference between these two classes is that predicates cover formula-forming operators, while functions cover term-forming operators; a list, on the other hand, is a particular ordered n-tuple
instance: pm#relation__related_thing__relatedthing___related_with type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type
subtype: pm#relation_from/to_thing_of_common_kind (*) this type permits to categorize relations according to their signatures and hence offers (i) a concise way to set essential exclusion relations, and (ii) a systematic and easy-to-follow categorization
subtype: pm#relation_from_situation (pm#situation,*)
subtype: pm#relation_from_situation_to_time (pm#situation,pm#time_measure)
subtype: pm#time (pm#situation,pm#time_measure)
subtype: pm#date (pm#situation -> pm#time_measure)
subtype: pm#duration (pm#situation -> pm#time_measure)
subtype: pm#from_time (pm#situation -> pm#time_measure)
subtype: pm#departure_time__departuretime (pm#process -> pm#time_measure)
subtype: pm#until_time__untiltime__to_time (pm#situation -> pm#time_measure)
subtype: pm#arrival_time__arrivaltime (pm#process -> pm#time_measure)
subtype: pm#before_time (pm#situation,pm#time_measure)
subtype: pm#relation_from_situation_to_situation (pm#situation,pm#situation)
subtype: pm#later_situation__latersituation (pm#situation,pm#situation)
subtype: pm#next_situation (pm#situation -> pm#situation)
subtype: pm#successor (pm#situation -> pm#situation)
subtype: pm#ending_situation__termination (pm#situation -> pm#situation)
subtype: pm#postcondition (pm#process,pm#situation)
subtype: pm#consequence (pm#situation,pm#situation) see also rst#effect
subtype: pm#before_situation (pm#situation,pm#situation) in WebKB, do not use these relations, use their inverses
subtype: pm#previous_situation (pm#situation -> pm#situation)
subtype: pm#beginning_situation__beginningsituation (pm#situation -> pm#situation)
subtype: pm#precondition (pm#process,pm#situation)
subtype: pm#cause (pm#situation,pm#situation) see also rst#cause
subtype: sumo#causes (sumo#process,sumo#process) the process in the 1st argument brings about the process in the 2nd argument
subtype: pm#case_relation__thematic_relation (pm#situation,*)
subtype: pm#doer/object/result/place (pm#situation,?)
subtype: pm#doer/object/result (pm#situation,?)
subtype: pm#agent__doer (pm#situation [48..*],pm#entity [49..*])
subtype: pm#organizer (pm#situation,pm#causal_entity)
subtype: pm#participant (pm#situation,pm#causal_entity)
subtype: pm#seller__vendor___vender (pm#situation -> pm#goal_directed_agent)
subtype: pm#customer__client___buyer__buyer___purchaser__purchaser___vendee (pm#situation,pm#goal_directed_agent)
subtype: pm#responsible_agent__responsibleagent (pm#situation,pm#causal_entity)
subtype: sumo#agent (sumo#process,dl#agentive_physical_object) the 2nd argument is an active determinant, animate or inanimate, of the process
subtype: pm#initiator (pm#situation,pm#causal_entity)
subtype: pm#object/result (pm#situation,?)
subtype: pm#instrument (pm#situation,pm#entity)
subtype: sumo#instrument (sumo#process,sumo#object) the 2nd argument is used in bringing about the first and is not changed by it, e.g., the key is an instrument in 'the key opened the door'; instrument and resource cannot be satisfied by the same ordered pair
subtype: pm#object__patient___theme__theme (pm#situation,?)
subtype: pm#input (pm#process,?)
subtype: pm#material (pm#process,?)
subtype: pm#parameter (pm#process,?)
subtype: pm#input_output__inputoutput (pm#process,?)
subtype: pm#modified_object (pm#process,?)
subtype: pm#muted_object__mutedobject (pm#process,?)
subtype: pm#deleted_object__deletedobject (pm#process,?)
subtype: sumo#patient (sumo#process,?) the 2nd argument may be moved, said, experienced, etc; the direct objects in 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients; the patient of a process may or may not undergo structural change as a result of the process
subtype: sumo#instrument (sumo#process,sumo#object) the 2nd argument is used in bringing about the first and is not changed by it, e.g., the key is an instrument in 'the key opened the door'; instrument and resource cannot be satisfied by the same ordered pair
subtype: sumo#resource (sumo#process,sumo#object) the object is present at the beginning of the process, is used by it, and as a consequence is changed by it; for example, soap is a resource in 'the gun was carved out of soap'; resource differs from instrument in that its internal or physical properties are altered in some way by the process
subtype: sumo#result (sumo#process,?) the 2nd argument is the product of the process, e.g., house is a result in 'Eric built a house'
subtype: pm#result (pm#situation,?)
subtype: pm#output (pm#process,?)
subtype: sumo#result (sumo#process,?) the 2nd argument is the product of the process, e.g., house is a result in 'Eric built a house'
subtype: pm#from/to (pm#situation,pm#entity)
subtype: pm#source (pm#situation,pm#causal_entity)
subtype: pm#recipient (pm#situation,pm#entity)
subtype: pm#beneficiary (pm#situation,pm#causal_entity)
subtype: pm#from/to_place__from/toplace (pm#process -> pm#spatial_object)
subtype: pm#from_place (pm#process -> pm#spatial_object)
subtype: pm#to_place__destination (pm#process -> pm#spatial_object)
subtype: pm#via_place__viaplace__via (pm#process -> pm#spatial_object)
subtype: pm#path (pm#process -> pm#spatial_object)
subtype: sumo#origin__from (sumo#process,sumo#object) the 2nd argument (which must be present at least at the beginning of the process) indicates where the process began; for example, the submarine is the origin in 'the missile was launched from a submarine'
subtype: sumo#destination__to (sumo#process,pm#entity) the 2nd parameter is the target or goal of the process; for example, Danbury would be the destination in 'Bob went to Danbury'; this is a very general case_role which, in particular, that it covers the concepts of 'recipient' and 'beneficiary'; thus, John would be the destination in 'Tom gave a book to John'
subtype: pm#place (pm#situation -> pm#spatial_object)
subtype: pm#path_length (pm#process -> pm#spatial_attribute_or_quality_or_measure)
subtype: pm#experiencer (pm#situation,pm#causal_entity)
subtype: sumo#experiencer (sumo#process,dl#agentive_physical_object) e.g., Yojo is the experiencer of seeing in 'Yojo sees the fish'; unlike agent, this relation does not entail a causal relation between the arguments
subtype: pm#relation_from_process_only (pm#process,?)
subtype: pm#goal (pm#process,pm#situation)
subtype: pm#triggering_event (pm#process,pm#event)
subtype: pm#ending_event (pm#process,pm#event)
subtype: pm#precondition (pm#process,pm#situation)
subtype: pm#postcondition (pm#process,pm#situation)
subtype: pm#input (pm#process,?)
subtype: pm#input_output__inputoutput (pm#process,?)
subtype: pm#sub_process__subproces (pm#process,pm#process)
subtype: pm#method (pm#process,pm#description)
subtype: pm#from/to_place__from/toplace (pm#process -> pm#spatial_object)
subtype: pm#process_attribute__processattribute (pm#process,pm#process_attribute_or_quality_or_measure)
subtype: pm#manner (pm#process,pm#process_attribute_or_quality_or_measure)
subtype: pm#participant_in_Dolce_Lite (dl#perdurant,dl#endurant)
subtype: dl#participant__PC (dl#perdurant,dl#endurant) the DOLCE predicate PC(x,y,t) means "x participates in y during t" but this relation respects the usual reading conventions: the 1st argument has for participant the 2nd
subtype: dl#total_participant__totalparticipant__PC.T (dl#perdurant,dl#endurant)
subtype: dl#temporary_total_participant__temporarytotalparticipant__PC.t (dl#perdurant,dl#endurant)
subtype: dl#constant_participant__PC.C (dl#perdurant,dl#endurant)
subtype: pm#within_group (pm#situation,pm#collection)
subtype: pm#spatial_relation_from_entity_with_spatial_feature (sumo#object,*)
subtype: pm#relation_from_spatial_object (pm#spatial_object,*)
subtype: pm#relation_to_another_spatial_object (pm#spatial_object,pm#spatial_object)
subtype: pm#location (pm#spatial_object,pm#spatial_object)
subtype: pm#address__addres (pm#spatial_object -> pm#spatial_object)
subtype: pm#main_address (pm#spatial_object -> pm#spatial_object)
subtype: pm#secondary_address__secondaryaddres (pm#spatial_object -> pm#spatial_object)
subtype: pm#above (pm#spatial_object -> pm#spatial_object)
subtype: pm#on (pm#spatial_object -> pm#spatial_object)
subtype: pm#below (pm#spatial_object,pm#spatial_object)
subtype: pm#near (pm#spatial_object -> pm#spatial_object)
subtype: pm#touching (pm#spatial_object -> pm#spatial_object)
subtype: pm#far_from__farfrom (pm#spatial_object,pm#spatial_object)
subtype: pm#exterior__in (pm#spatial_object -> pm#spatial_object)
subtype: pm#interior (pm#spatial_object,pm#spatial_object)
subtype: pm#before_location__before (pm#spatial_object,pm#spatial_object)
subtype: pm#spatial_part__spatialpart (pm#spatial_object,pm#spatial_object)
subtype: pm#physical_part (pm#physical_entity,pm#physical_entity)
subtype: pm#facility (pm#spatial_object,?)
subtype: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
subtype: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
subtype: sumo#traverses__traverse (sumo#object,sumo#object) the first object crosses or extends across the second; note that crosses and penetrates are subrelations of traverses
subtype: sumo#crosses__crosse (sumo#object,sumo#object) the 1st object traverses the second without being connected to it
subtype: sumo#penetrates (sumo#object,sumo#object) the 1st object is connected to the second along at least one whole dimension (length, width or depth)
subtype: sumo#distance (sumo#object,*)
subtype: sumo#larger (sumo#object,*)
subtype: sumo#smaller (sumo#object,*)
subtype: sumo#connected (sumo#object,*)
subtype: sumo#connects (sumo#object,*)
subtype: sumo#mereological_sum_fn (sumo#object,*)
subtype: sumo#mereological_product_fn (sumo#object,*)
subtype: sumo#mereological_difference_fn (sumo#object,*)
subtype: sumo#hole (sumo#object,*)
subtype: sumo#hole_host_fn (sumo#object,*)
subtype: sumo#partially_fills__partiallyfill (sumo#object,*)
subtype: sumo#hole_skin_fn (sumo#object,*)
subtype: sumo#orientation (sumo#object,*)
subtype: sumo#between (sumo#object,sumo#object,sumo#object) the second object is (directly) spatially located between the other two (the projections of which overlap with the second object)
subtype: 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
subtype: pm#relation_from_collection (pm#collection,*)
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: rdf#first (rdf#list -> ?)
subtype: kif#last (sumo#list -> ?)
subtype: kif#butlast (sumo#list -> ?)
subtype: kif#nth (sumo#list,sumo#positive_integer -> ?)
subtype: kif#nthrest (sumo#list,sumo#nonnegative_integer -> sumo#list)
subtype: pm#relation_from_collection_to_number (pm#collection -> sumo#number)
subtype: pm#size__number_of_elements (pm#collection -> sumo#nonnegative_integer)
subtype: kif#length (sumo#list -> sumo#nonnegative_integer)
subtype: pm#minimal_size__minimalsize (pm#collection -> sumo#nonnegative_integer)
subtype: pm#maximal_size__maximalsize (pm#collection -> sumo#nonnegative_integer)
subtype: pm#percentage (pm#collection -> sumo#number)
subtype: pm#average (pm#number_container -> sumo#number) to specify an average on the values
subtype: sumo#list_order_fn (sumo#list,sumo#positive_integer -> ?) returns the item that is in the given position (2nd argument) in the list, e.g., (sumo#list_order_fn (sumo#list_fn Monday Tuesday Wednesday) 2) would return the value tuesday
subtype: sumo#list_length_fn (sumo#list -> sumo#nonnegative_integer) returns the number of items in the list, e.g., (sumo#list_length_fn (sumo#list_fn Monday Tuesday Wednesday)) would return the value 3
subtype: pm#relation_from_an_ontology (pm#ontology,*)
subtype: pm#relation_to_another_ontology (pm#ontology,pm#ontology)
subtype: owl#backward_compatible_with (pm#ontology,pm#ontology)
subtype: owl#incompatible_with (pm#ontology,pm#ontology)
subtype: owl#prior_version__priorversion (pm#ontology,pm#ontology)
subtype: pm#relation_between_collections (pm#collection,pm#collection+)
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#sub_collection_of (pm#collection,pm#collection) DO NOT use this type; it only exists because the SUMO does not respect common reading conventions of parameters
subtype: sumo#sub_collection__subcollection__sub_collection_of (sumo#collection,sumo#collection) the 1st collection is a proper part of the 2nd
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: pm#final_segment_of__finalsegmentof (pm#collection,pm#collection) USE pm#final_segment INSTEAD
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#overlapping_collection__overlappingcollection (pm#collection,pm#collection)
subtype: pm#not_overlapping_collection__notoverlappingcollection (pm#collection,pm#collection)
subtype: pm#collection_complement (pm#collection,pm#collection)
subtype: kif#rest (sumo#list -> sumo#list)
subtype: rdf#rest (rdf#list -> rdf#list)
subtype: kif#append (sumo#list,sumo#list -> sumo#list)
subtype: sumo#list_concatenate_fn (sumo#list,sumo#list -> sumo#list) returns the concatenation of two lists
subtype: kif#revappend (sumo#list,sumo#list -> sumo#list)
subtype: kif#reverse (sumo#list -> sumo#list)
subtype: pm#relation_from_type_to_collection (pm#type,pm#collection)
subtype: pm#partition (pm#type,pm#collection)
subtype: pm#instances__instance (pm#type -> pm#collection)
subtype: pm#subtypes (pm#type -> pm#collection)
subtype: pm#relation_from_class_to_collection (rdfs#class,pm#collection)
subtype: owl#union_of__unionof (rdfs#class,rdf#list) for unionOf(X,L) read: X is the union of the classes in the list L; i.e. if something is in any of the classes in L, it is in X, and vice versa
subtype: daml#disjoint_union_of (rdfs#class,rdf#list) for disjointUnionOf(X,L) read: X is the disjoint union of the classes in the list L: (a) for any c1 and c2 in L, disjointWith(c1,c2), and (b) i.e. if something is in any of the classes in L, it is in X, and vice versa
subtype: owl#intersection_of (rdfs#class,rdf#list) for intersectionOf(X,Y) read: X is the intersection of the classes in the list Y; i.e. if something is in all the classes in Y, then it's in X, and vice versa
subtype: owl#one_of__oneof (rdfs#class,rdf#list) for oneOf(C,L) read everything in C is one of the things in L
subtype: owl#distinct_members (owl#all_different,rdf#list)
subtype: pm#relation_to_another_class (rdfs#class,rdfs#class+)
subtype: rdfs#sub_class_of__subclassof__super_class__superclas (rdfs#class,rdfs#class) in WebKB, use the link '<'
subtype: owl#equivalent_class (rdfs#class,rdfs#class) in WebKB, use the link '='
subtype: pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class) the 2 classes have no common subtype/instance; in WebKB, use the link '!'
subtype: pm#complement_class (rdfs#class -> rdfs#class) if something is not in one of the classes, then it is in the other, and vice versa; in WebKB, use the link '/'
subtype: daml#restricted_by (rdfs#class,owl#restriction)
subtype: sumo#disjoint_decomposition (sumo#class,sumo#class+) a disjoint_decomposition of a class C is a set of mutually disjoint subclasses of C
subtype: sumo#partition (sumo#class,sumo#class+) a partition of a class C is a set of mutually disjoint classes (a subclass partition) covering C; each instance of C is instance of exactly one of the subclasses in the partition
subtype: sumo#exhaustive_decomposition (sumo#class,sumo#class+) an exhaustive_decomposition of a class C is a set of subclasses of C such that every instance of C is an instance of one of the subclasses in the set; note: this does not necessarily mean that the elements of the set are disjoint (see sumo#partition - a partition is a disjoint exhaustive decomposition)
subtype: sumo#partition (sumo#class,sumo#class+) a partition of a class C is a set of mutually disjoint classes (a subclass partition) covering C; each instance of C is instance of exactly one of the subclasses in the partition
subtype: pm#relation_to_another_set_or_class (pm#set_or_class,pm#set_or_class+) this category is needed to group SUMO relations between classes which cannot be subtype of pm#relation_from_type because their signatures curiously also involve sets
subtype: pm#disjoint (pm#set_or_class,pm#set_or_class) like sumo#disjoint but from a a pm#set_or_class to another
subtype: sumo#disjoint (sumo#set_or_class,sumo#set_or_class) classes are exclusive/disjoint only if they share no instance (and hence no subtype), i.e. just in case the result of applying sumo#intersection_fn to them is empty
subtype: pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class) the 2 classes have no common subtype/instance; in WebKB, use the link '!'
subtype: pm#subclass_of_or_equal (pm#set_or_class,pm#set_or_class)
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: rdfs#sub_class_of__subclassof__super_class__superclas (rdfs#class,rdfs#class) in WebKB, use the link '<'
subtype: sumo#power_set_fn__powersetfn (sumo#set_or_class -> sumo#set_or_class) maps the argument to the set_or_class of all its subclasses
subtype: pm#relation_to_another_class (rdfs#class,rdfs#class+)
subtype: pm#relation_to_another_ontology (pm#ontology,pm#ontology)
subtype: pm#relation_from_type (pm#type,*) type of relations from a concept/relation type, i.e. in RDFS terminology, from a class or a property
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#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#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: pm#exclusive_type__exclusivetype (pm#type,pm#type) in WebKB, use the '!' link
subtype: pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class) the 2 classes have no common subtype/instance; in WebKB, use the link '!'
subtype: pm#closed_exclusion (pm#type -> pm#type) the '/' link in the FT notation: the two linked types either are respectively identical to pm#thing and pm#nothing (they are "complement types") or they subtype a same type and form a complete subtype partition
subtype: pm#complement_type (pm#type -> pm#type) a supertype of owl#complement_of which can only connect RDFS/OWL classes
subtype: pm#complement_class (rdfs#class -> rdfs#class) if something is not in one of the classes, then it is in the other, and vice versa; in WebKB, use the link '/'
subtype: pm#relation_from_relation_type (pm#relation_type,*)
subtype: pm#relation_from_binary_relation_type (pm#binary_relation_type,*)
subtype: pm#relation_to_another_binary_relation_type (pm#binary_relation_type,pm#binary_relation_type)
subtype: owl#equivalent_property (pm#binary_relation_type,pm#binary_relation_type) in WebKB, use the link '='
subtype: rdfs#sub_property_of (pm#binary_relation_type,pm#binary_relation_type) in WebKB, use the link '<'
subtype: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
subtype: rdfs#domain (pm#binary_relation_type,rdfs#class)
subtype: rdfs#range (pm#binary_relation_type,rdfs#class)
subtype: sumo#domain (pm#relation_type,sumo#positive_integer,sumo#set_or_class) the formula (sumo#domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS
subtype: sumo#domain_subclass (pm#relation_type,sumo#positive_integer,sumo#set_or_class) the formula (sumo#domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS
subtype: sumo#range (pm#function_type,sumo#set_or_class) gives the range of a function, i.e. all of the values assigned by the function are instances of sumo#class
subtype: sumo#range_subclass (pm#function_type,sumo#set_or_class) all of the values assigned by the function in the 1st argument are subclasses of the 2nd argment
subtype: sumo#valence (pm#relation_type,sumo#positive_integer) specifies the number of arguments that a relation can take; if a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of variable_arity_relation, e.g., sumo#holds is a variable_arity_relation
subtype: sumo#disjoint_relation (pm#relation_type+) (sumo#disjointRelation @ROW) means that any two relations in @ROW have no tuples in common; as a consequence, the intersection of all of the relations in @ROW is the null set
subtype: sumo#holds__hold (pm#relation_type,*) (holds P N1 ... NK) is true when the tuple of objects denoted by N1,..., NK is an element of the relation P
subtype: sumo#assignment_fn (pm#function_type,*) if F is a function with a value for the objects denoted by N1,..., NK, then (sumo#assignmentFn F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK; otherwise, the value is undefined
subtype: sumo#distributes__distribute (pm#binary_function_type,pm#binary_function_type) a binary_function ?F1 is distributive over another binary_function ?F2 just in case (?F1 ?INST1 (?F2 ?INST2 ?INST3)) is equal to (?F2 (?F1 ?INST1 ?INST2) (?F1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3
subtype: pm#relation_from_class (rdfs#class,*)
subtype: pm#relation_from_class_to_collection (rdfs#class,pm#collection)
subtype: sumo#abstraction_fn__abstractionfn (sumo#class -> sumo#Attribute) a unary_function that maps a class into an attribute that specifies the condition(s) for membership in the class
subtype: pm#relation_from_sumo_process_class (pm#sumo_process_class,*)
subtype: sumo#causes_subclass (pm#sumo_process_class,pm#sumo_process_class) the 1st argument brings about the 2nd, e.g., (causes_subclass killing death)
subtype: sumo#capability (pm#sumo_process_class,pm#case_relation_type,sumo#object) the object has the ability to play the role (case relation) in the given kinds of processes
subtype: sumo#has_skill__hasskill (pm#sumo_process_class,dl#agentive_physical_object) similar to the capability predicate with the additional restriction that the ability be practised or demonstrated to some measurable degree
subtype: pm#relation_from_attribute_type (pm#attribute_class,*)
subtype: sumo#contrary_attribute (pm#attribute_class,pm#attribute_class+) set of attributes such that something can not simultaneously have more than one of these attributes, e.g., in KIF, (sumo#contrary_aAttribute sumo#pliable sumo#rigid) means that nothing can be both pliable and rigid
subtype: sumo#exhaustive_attribute (pm#attribute_class,pm#attribute_class+) this predicate relates a class to several types of attributes, and it means that the elements of this set exhaust the instances of the class; for example, in KIF, (sumo#exhaustiveAttribute sumo#physicalState sumo#solid sumo#fluid sumo#liquid sumo#gas) means that there are only three instances of the class sumo#physicalState, viz. sumo#solid, sumo#fluid, sumo#liquid, and sumo#gas
subtype: pm#relation_from_restriction (owl#restriction,*)
subtype: owl#on_property (owl#restriction,pm#binary_relation_type) for onProperty(?restrClass,?rel), read: ?restrClass is a restricted with respect to property ?rel
subtype: owl#all_values_from (owl#restriction,rdfs#class) for onProperty(?restrClass,?rel) and toClass(?restrClass,C), read: i instance of ?restrClass if and only if for all j, ?rel(i,j) implies type(j,C)
subtype: owl#has_value__hasvalue (owl#restriction,?) for onProperty(?restrClass,?rel) and hasValue(?restrClass,V), read: i instance of ?restrClass if and only if ?rel(i,V), i.e. if and only if any ?rel from ?i has for destination an instance of C; toValue is an obsolete name
subtype: owl#some_values_from (owl#restriction,rdfs#class) for onProperty(?restrClass,?rel) and some_values_from(?restrClass,C), read: i instance of ?restrClass if and only if for some j, ?rel(i,j) and type(j,C), i.e. if and only if i has at least one ?rel which has for destination an instance of C
subtype: daml#has_class_q__hasclassq (owl#restriction,rdfs#class) property for specifying class restriction with cardinalityQ constraints
subtype: owl#cardinality (owl#restriction -> sumo#nonnegative_integer) for onProperty(?restrClass,?rel) and cardinality(?restrClass,n), read: i instance of ?restrClass if and only if there are exactly n distinct j with ?rel(i,j)
subtype: daml#cardinality_q__cardinalityq (owl#restriction -> sumo#nonnegative_integer) for onProperty(?restrClass,?rel), cardinalityQ(?restrClass,n) and hasClassQ(?restrClass,C), read: i instance of ?restrClass if and only if there are exactly n distinct j with ?rel(i,j) and type(j,C)
subtype: owl#min_cardinality__mincardinality (owl#restriction -> sumo#nonnegative_integer) for onProperty(?restrClass,?rel) and minCardinality(?restrClass,n), read: i instance of ?restrClass if and only if there are at least n distinct j with ?rel(i,j)
subtype: daml#min_cardinality_q__mincardinalityq (owl#restriction -> sumo#nonnegative_integer) for onProperty(?restrClass,?rel), minCardinalityQ(?restrClass,n) and hasClassQ(?restrClass,C), read: i instance of ?restrClass if and only if there are at least n distinct j with ?rel(i,j)
subtype: owl#max_cardinality__maxcardinality (owl#restriction -> sumo#nonnegative_integer) for onProperty(?restrClass,?rel) and maxCardinality(?restrClass,n), read: i instance of ?restrClass if and only if there are at most n distinct j with ?rel(i,j)
subtype: daml#max_cardinality_q__maxcardinalityq (owl#restriction,sumo#nonnegative_integer) for onProperty(?restrClass,?rel), maxCardinalityQ(?restrClass,n) and hasClassQ(?restrClass,C), read: i instance of ?restrClass if and only if there are at most n distinct j with ?rel(i,j) and type(j,C)
subtype: pm#wnObject (rdfs#class,?)
subtype: pm#wnNounType (rdfs#class,?)
subtype: pm#relation_from_type_to_collection (pm#type,pm#collection)
subtype: sumo#material__material_type_of (pm#substance_class,sumo#corpuscular_object) all other mereological relations are defined in terms of this one; it means that the 2nd argument is structurally made up in part of the 1st argument; this relation encompasses the concepts of 'composed of', 'made of', and 'formed of'; for example, plastic is a material of my computer monitor; since part is a reflexive_relation, every object is a part of itself
subtype: pm#relation_from_description_content/medium/container (pm#description_content/medium/container,*)
subtype: pm#relation_from_description (pm#description,*)
subtype: pm#descr_container__description_support___descr_support (pm#description,pm#description_container) permits to associate a statement with an object on which it is represented
subtype: pm#logical_relation__logicalrelation (pm#description,pm#description)
subtype: pm#and (pm#description,pm#description)
subtype: pm#contextualizing_logical_relation__contextualizinglogicalrelation (pm#description,pm#description)
subtype: pm#or (pm#description,pm#description)
subtype: pm#xor__either (pm#description,pm#description)
subtype: pm#implication__then___therefore__therefore (pm#description,pm#description)
subtype: pm#equivalence__equivalentTo___iff__iff (pm#description,pm#description)
subtype: sumo#entails__entail (sumo#formula,sumo#formula) the second argument is logically entailed from the first by means of the proof theory of SUO-KIF
subtype: pm#contextualizing_relation__contextualizingrelation (pm#description,*)
subtype: pm#contextualizing_logical_relation__contextualizinglogicalrelation (pm#description,pm#description)
subtype: pm#modality (pm#description,pm#modality_measure)
subtype: pm#believer (pm#description,pm#causal_entity)
subtype: pm#overriding_specialization (pm#description,pm#description)
subtype: pm#corrective_statement (pm#description,pm#description)
subtype: pm#corrective_specialization (pm#description,pm#description)
subtype: pm#corrective_existential_specialization (pm#description,pm#description)
subtype: pm#corrective_generalization (pm#description,pm#description)
subtype: pm#corrective_existential_generalization (pm#description,pm#description)
subtype: pm#corrective_restriction__corrective_precision (pm#description,pm#description)
subtype: pm#corrective_existential_specialization (pm#description,pm#description)
subtype: pm#corrective_extension (pm#description,pm#description)
subtype: pm#corrective_reformulation (pm#description,pm#description)
subtype: pm#correction (pm#description,pm#description)
subtype: pm#probability_relation__probabilityrelation (sumo#formula,?)
subtype: sumo#probability_fn__probabilityfn (sumo#formula -> sumo#real_number) one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
subtype: sumo#conditional_probability__conditionalprobability (sumo#formula,sumo#formula,sumo#real_number) the probability of 'the 2nd formula being true given that the 1st formula is true' is the number given as 3rd parameter
subtype: sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is more likely to be true if the 1st is true
subtype: sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is less likely to be true if the 1st is true
subtype: sumo#independent_probability__independentprobability (sumo#formula,sumo#formula) the probabilities of the formulas being true are independent
subtype: pm#relation_from_string (pm#string,*)
subtype: sumo#names__name (pm#string,?) the string names the 2nd argument
subtype: sumo#unique_identifier (pm#string,?) the string uniquely identifies the 2nd argument
subtype: sumo#related_external_concept (pm#string,?,sumo#language) used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source
subtype: sumo#synonymous_external_concept (pm#string,?,sumo#language) the 2nd argument has the same meaning as the 1st in the language denoted by the 3rd argument
subtype: sumo#subsumed_external_concept (pm#string,?,sumo#language) the 2nd argument is subsumed by the 1st in the language denoted by the 3rd argument
subtype: sumo#subsuming_external_concept (pm#string,?,sumo#language) the 2nd argument subsumes the 1st in the language denoted by the 3rd argument
subtype: pm#version (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#ascii_content__asciicontent (pm#description_content/medium/container,pm#string)
subtype: pm#exact_ascii_content__exactasciicontent (pm#description_content/medium/container,pm#string)
subtype: pm#ascii_content_except_for_spaces (pm#description_content/medium/container,pm#string)
subtype: pm#version_id__versionid (pm#description_content/medium/container,pm#string)
subtype: pm#latest_stable_version (pm#description_content/medium/container,pm#string)
subtype: dc#Coverage (pm#description_content/medium/container,?) to specify 1 or several topics
subtype: dc#Contributor (pm#description_content/medium/container,pm#entity) to specify an entity responsible for making contributions to the content of a resource
subtype: dc#Source (pm#description_content/medium/container,pm#entity) to specify a resource from which a resource is derived
subtype: dc#Publisher (pm#description_content/medium/container,pm#entity) to specify an entity responsible for making a resource available
subtype: dc#Rights__rights (pm#description_content/medium/container,pm#entity) to specify rights held in and over a resource
subtype: pm#authoring_time__authoringtime (pm#description_content/medium/container -> pm#time_measure)
subtype: pm#authoring_date__authoringdate (pm#description_content/medium/container -> pm#time_measure)
subtype: pm#author (pm#description,pm#causal_entity)
subtype: pm#main_author (pm#description,pm#causal_entity)
subtype: pm#co-author (pm#description,pm#causal_entity)
subtype: dc#Language (pm#description_content/medium/container -> pm#entity) to specify a language for the content of a resource
subtype: pm#language (pm#description_content/medium/container -> pm#description_medium)
subtype: dc#Format (pm#description_content/medium/container -> pm#entity) to specify the physical or digital manifestation of a resource; in WebKB, this relation type SHOULD NOT BE USED; see pm#format, pm#description_instrument and pm#descr instead
subtype: pm#format (pm#description_content/medium/container -> pm#description_content/medium/container)
subtype: pm#description_instrument__descriptioninstrument__descr_instrument__descrinstrument (pm#description_content/medium/container,pm#description_medium)
subtype: pm#language (pm#description_content/medium/container -> pm#description_medium)
subtype: pm#description_object__descriptionobject__descr_object__descrobject (pm#description_content/medium/container,?) just for documentation: its reverse, pm#descr, should be used instead
subtype: pm#physical_support__description_physical_support___descr_physical_support___descr_support (pm#description_content/medium/container,pm#physical_entity)
subtype: pm#rhetorical_relation (pm#description_content/medium/container,pm#description_content/medium/container) main sources: the Rhetorical Structure Theory (RST) and the PENMAN ontology; DO NOT USE such fuzzy relations: instead, use relations from/to situations!
subtype: rst#presentational_rhetorical_relation (pm#description_content/medium/container,pm#description_content/medium/container) connect to details which should increasing the reader's positive regard or enabling the reader to perform the described action
subtype: rst#enablement (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#background (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#motivation (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#evidence (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#justify (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#antithesis (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#concession (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#subject_matter_rhetorical_relation (pm#description_content/medium/container,pm#description_content/medium/container) connect to details for making a better description
subtype: rst#circumstance (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#solution (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#elaboration (pm#description_content/medium/container,pm#description_content/medium/container) e.g., rst#subtype rst#property, rst#part
subtype: rst#subtype (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#instance (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#illustration (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#attributive_relation__attributiverelation (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#property (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#attribute (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#possession (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#part (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#subtask (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#specialization (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#cause (pm#description_content/medium/container,pm#description_content/medium/container) not a subtype of pm#cause since pm#cause connects situations
subtype: rst#volitional_cause (pm#description_content/medium/container,pm#description_content/medium/container) cause of the described intended situation
subtype: rst#non-volitional_cause (pm#description_content/medium/container,pm#description_content/medium/container) cause of the described not intended situation
subtype: rst#purpose (pm#description_content/medium/container,pm#description_content/medium/container) situation that the described action is intended to reach
subtype: rst#effect (pm#description_content/medium/container,pm#description_content/medium/container) not a subtype of pm#consequence since pm#consequence connects situatons
subtype: rst#volitional_result (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#non-volitional_result (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#definition (pm#description_content/medium/container,pm#description_content/medium/container) a logical relation should be used instead of this relation
subtype: rst#comparison (pm#description_content/medium/container,pm#description_content/medium/container) use one of the subtypes of pm#similar instead of this relation
subtype: rst#means__mean (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#condition (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#otherwise (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#interpretation (pm#description_content/medium/container,pm#description_content/medium/container) interpretation/abstraction/comment on the described facts
subtype: rst#evaluation (pm#description_content/medium/container,pm#description_content/medium/container) positive interpretation/abstraction/comment on facts
subtype: rst#restatement (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#summary (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#theme (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#contrast (pm#description_content/medium/container,pm#description_content/medium/container) comparability and differences of two situations
subtype: rst#antithesis (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#symmetric_rhetorical_relation (pm#description_content/medium/container,pm#description_content/medium/container) e.g., rst#restatement
subtype: rst#restatement (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: rst#contrast (pm#description_content/medium/container,pm#description_content/medium/container) comparability and differences of two situations
subtype: pm#opposition (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#negative_consequence (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#argumentation_relation__argumentationrelation (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#answer (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#contribution (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#replacement (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#confirmation (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#reference (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#argument (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#weak_argument (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#strong_argument (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#proof (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#illustration (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#argument_by_authority (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#argument_by_popularity (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#contradiction (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#objection (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#relation_from_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,*)
subtype: sumo#extension_fn__extensionfn (sumo#Attribute -> sumo#class) a unary_function that maps an attribute into the class whose condition for membership is the attribute
subtype: pm#relation_to_another_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)
subtype: pm#measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure) e.g., [a weight, measure: 75 kg]
subtype: dl#q_location__qlocation (dl#quality,dl#region)
subtype: dl#has_quale__hasquale__ql (dl#quality,dl#quale)
subtype: pm#relation_to_situation (*,pm#situation) in WebKB, prefer using relations "from" a situation
subtype: pm#relation_from_time_to_situation (pm#time_measure,pm#situation)
subtype: pm#relation_from_situation_to_situation (pm#situation,pm#situation)
subtype: pm#spatial_relation_to_entity_with_spatial_feature (*,sumo#object)
subtype: pm#relation_to_spatial_object (*,pm#spatial_object) in WebKB, prefer using relations "from" a spatial object
subtype: pm#relation_to_another_spatial_object (pm#spatial_object,pm#spatial_object)
subtype: sumo#where_fn__wherefn (sumo#physical,sumo#time_point -> sumo#region) maps an object and a time_point at which the object exists to the region where the object existed at that time_point
subtype: sumo#partly_located__partly_located_at (sumo#physical,sumo#object) the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
subtype: sumo#contains (sumo#self_connected_object,sumo#object) the relation of spatial containment for two separable objects; when the two objects are not separable (e.g., an automobile and one of its seats), the relation of part should be used; (sumo#contains ?OBJ1 ?OBJ2) means that the self_connected_object ?OBJ1 has a space (i.e. a hole) which is at least partially filled by ?OBJ2
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: pm#relation_to_time (*,pm#time_measure)
subtype: pm#relation_from_situation_to_time (pm#situation,pm#time_measure)
subtype: pm#relation_from_time_to_time (pm#time_measure,pm#time_measure)
subtype: pm#near_time (pm#time_measure,pm#time_measure)
subtype: pm#before (pm#time_measure,pm#time_measure)
subtype: pm#after (pm#time_measure,pm#time_measure)
subtype: pm#relation_from_physical_entity_to_time (pm#physical_entity -> pm#time_measure)
subtype: pm#check-in__checkin (pm#physical_entity -> pm#time_measure)
subtype: pm#check-out__checkout (pm#physical_entity -> pm#time_measure)
subtype: pm#creation_date (*,pm#time_measure)
subtype: pm#first_release__firstrelease (*,pm#time_measure)
subtype: pm#relation_to_collection (*,pm#collection)
subtype: pm#member_of (*,pm#collection) this type SHOULD NOT BE USED IN WEBKB (its inverse may be used); this type is only provided for knowledge sharing purposes
subtype: kif#member (?,kif#set) this type SHOULD NOT BE USED IN WEBKB: if the common reading conventions of parameters had been respected, the parameters would be swapped or the type would be named member_of
subtype: kif#list_of (* -> pm#collection)
subtype: kif#set_of__setof (* -> pm#collection)
subtype: pm#parts__part (?,pm#collection) such a type (using a collection as destination) should NOT be used: pm#part or a subtype of it should be used instead
subtype: kif#item (?,sumo#list) USE pm#item INSTEAD OF THIS RELATION TYPE: if the common reading conventions of parameters had been respected, the parameters would be swapped or the type would be named item_of
subtype: sumo#in_list (?,sumo#list) true if the 1st argument is in the list; analog of element and instance for lists
subtype: sumo#list_fn (* -> sumo#list) a function that takes any number of arguments and returns the list containing those arguments in exactly the same order
subtype: pm#function_returning_a_collection_from_2_elements (?,? -> pm#collection)
subtype: kif#cons (?,sumo#list -> sumo#list)
subtype: kif#adjoin (?,sumo#list -> sumo#list)
subtype: kif#remove (?,sumo#list -> sumo#list)
subtype: pm#relation_between_collections (pm#collection,pm#collection+)
subtype: pm#relation_to_set_or_class (*,pm#set_or_class)
subtype: sumo#closed_on (pm#function_type,sumo#set_or_class) a binary_function is closed on a set_or_class if it is defined for all instances of the set_or_class and its value is always an instance of the set_or_class
subtype: sumo#reflexive_on__reflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is reflexive on a set_or_class only if every instance of the set_or_class bears the relation to itself
subtype: sumo#irreflexive_on__irreflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is irreflexive on a set_or_class only if no instance of the set_or_class bears the relation to itself
subtype: sumo#partial_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is a partial ordering on a set_or_class only if the relation is reflexive_on the set_or_class, and it is both an antisymmetric_relation, and a transitive_relation
subtype: sumo#total_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation ?REL is a total ordering on a set_or_class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the set_or_class
subtype: sumo#trichotomizing_on (pm#binary_relation_type,sumo#set_or_class)
subtype: sumo#equivalence_relation_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is an equivalence_relation_on a set_or_class only if the relation is reflexive_on the set_or_class and it is both a transitive_relation and a symmetric_relation
subtype: pm#relation_to_class (*,rdfs#class)
subtype: pm#kind__type___class___instance_of__instanceof (?,rdfs#class) the '^' link in the FT notation
subtype: sumo#extension_fn__extensionfn (sumo#Attribute -> sumo#class) a unary_function that maps an attribute into the class whose condition for membership is the attribute
subtype: pm#relation_to_another_set_or_class (pm#set_or_class,pm#set_or_class+) this category is needed to group SUMO relations between classes which cannot be subtype of pm#relation_from_type because their signatures curiously also involve sets
subtype: pm#relation_to_type (*,pm#type)
subtype: pm#relation_to_class (*,rdfs#class)
subtype: pm#relation_to_string (*,pm#string)
subtype: dl#extrinsic_relation__extrinsicrelation (?,rdfs#Literal) support for relations ranging on concrete data types
subtype: dl#name (dl#entity,rdfs#Literal) a relation between an instance of a concept and the name (instance of a concrete data type) of that concept; the name has to be a lexically meaningful name
subtype: dl#identifier (dl#entity -> rdfs#Literal) a relation between an individual of a concept and the identifier of that concept; the identifier is a concrete data type, usually non_meaningful from the lexical viewpoint; useful to map many database relationships
subtype: pm#relation_to_attribute_or_quality_or_measure (*,pm#attribute_or_quality_or_measure)
subtype: pm#attribute (?,pm#attribute_or_quality_or_measure) e.g., [a car, attribute: a weight]
subtype: sumo#property (?,sumo#Attribute)
subtype: sumo#attribute (sumo#object,sumo#Attribute) the 2nd argument is an attribute of the 1st
subtype: sumo#manner (sumo#process,sumo#Attribute) the 1st argument is qualified by the 2nd (which is usually denoted by and adverb), e.g., the speed of the wind, the style of a dance, or the intensity of a sports competition
subtype: dl#qt__quality (dl#quality_or_endurant_or_perdurant,dl#quality) the DOLCE predicate qt(x,y,t) means "x is a quality of y" but this relation respects the usual reading conventions: the 1st argument has for quality the 2nd argument
subtype: dl#direct_quality__dqt (dl#quality_or_endurant_or_perdurant,dl#quality) the DOLCE predicate dqt(x,y,t) means "x is a direct quality of y" (not a quality of a quality of x) but this relation respects the usual reading conventions: the 1st argument has for direct quality the 2nd argument
subtype: pm#relation_to_another_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)
subtype: akts#has-unit-of-measure (sumo#physical_quantity,pm#unit_of_measure)
subtype: skosCore#prefLabel (*)
subtype: skosCore#related (*)
subtype: pm#relation_playing_a_special_role (*) this type permits to categorize relations according to their roles ; this is a traditional but quite subjective way of categorizing relations
subtype: pm#attributive_relation__attributiverelation (*) like pm#binary_relation, this type mostly exists to categorize what cannot be categorized elsewhere
subtype: rst#attributive_relation__attributiverelation (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#purpose (?,?)
subtype: pm#goal (pm#process,pm#situation)
subtype: rst#purpose (pm#description_content/medium/container,pm#description_content/medium/container) situation that the described action is intended to reach
subtype: aktp#has-author__hasauthor (aktp#Publication-reference_or_Information-Bearing-Object_or_Technology_or_Method,pm#cognitive_agent)
subtype: aktp#owned-by__ownedby (aktp#Information-Bearing-Object_or_Technology_or_Method,aktp#Legal-Agent)
subtype: pm#owner (?,pm#causal_entity) this is not a function: 0..N owner allowed
subtype: pm#sole_owner (? -> pm#causal_entity)
subtype: pm#owner_of__ownerof (pm#causal_entity,?)
subtype: sumo#possesses__possesse (dl#agentive_physical_object,sumo#object) the agent has ownership of the object
subtype: sumo#property_fn (dl#agentive_physical_object -> sumo#set) maps an agent to the set of objects owned by the agent
subtype: sumo#leader__leader_of (sumo#human,dl#agentive_physical_object) (sumo#leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON
subtype: pm#seller__vendor___vender (pm#situation -> pm#goal_directed_agent)
subtype: pm#customer__client___buyer__buyer___purchaser__purchaser___vendee (pm#situation,pm#goal_directed_agent)
subtype: pm#generator (? -> pm#causal_entity)
subtype: pm#parent (? -> pm#causal_entity)
subtype: pm#creator (pm#entity,pm#entity)
subtype: dc#Creator (pm#entity,pm#entity) to specify an entity primarily responsible for making the content of a resource
subtype: pm#author (pm#description,pm#causal_entity)
subtype: pm#spatial_origin__spatialorigin (?,?)
subtype: pm#cuisine_origin__cuisineorigin (?,?)
subtype: sumo#exploits (sumo#object,dl#agentive_physical_object) the object is used by the agent as a resource in an unspecified instance of process
subtype: sumo#has_purpose__haspurpose (sumo#physical,sumo#formula) the instance of physical has, as its purpose, the proposition expressed by the formula; note that there is an important difference in meaning between the predicates has_purpose and result; although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired; for example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on
subtype: sumo#has_purpose_for_agent__haspurposeforagent (sumo#physical,sumo#formula,sumo#cognitive_agent) the purpose of the physical thing for the agent is the proposition expressed by the formula; very complex issues are involved here; in particular, the rules of inference of the first order predicate calculus are not truth-preserving for the formula
subtype: pm#measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure) e.g., [a weight, measure: 75 kg]
subtype: pm#attribute (?,pm#attribute_or_quality_or_measure) e.g., [a car, attribute: a weight]
subtype: pm#name (?,?)
subtype: dc#Title (? -> pm#entity) to specify a name of a resource
subtype: dc#Identifier (? -> pm#string) to specify a reference that is unambiguous within a given context; SHOULD NOT BE USED IN WEBKB
subtype: dl#identifier (dl#entity -> rdfs#Literal) a relation between an individual of a concept and the identifier of that concept; the identifier is a concrete data type, usually non_meaningful from the lexical viewpoint; useful to map many database relationships
subtype: rdfs#label (?,pm#string) in WebKB, with FO, use the link '_'
subtype: dl#name (dl#entity,rdfs#Literal) a relation between an instance of a concept and the name (instance of a concrete data type) of that concept; the name has to be a lexically meaningful name
subtype: akts#has-pretty-name (?,pm#string)
subtype: akts#has-variant-name__hasvariantname (?,pm#string)
subtype: tap#plural (?,pm#string) to specify plural names; do not use in WebKB
subtype: tap#singular (?,pm#string) to specify singular names; do not use in WebKB
subtype: dc#Date (? -> pm#entity) to specify a date associated with an event in the life cycle of a resource; in WebKB, pm#time or other MORE PRECISE RELATIONS SHOULD BE USED INSTEAD
subtype: pm#date (pm#situation -> pm#time_measure)
subtype: pm#authoring_time__authoringtime (pm#description_content/medium/container -> pm#time_measure)
subtype: pm#publish_date__publishdate (? -> pm#entity)
subtype: rdf#value (?,?) principal value (usually a string) of a property when the property value is a structured resource (e.g., "2 kg" or " 020 in Dewey Decimal Code")
subtype: pm#rdf_reification_relation__rdfreificationrelation (?,?)
subtype: rdf#predicate (rdf#statement -> pm#binary_relation_type) the property used in a statement when representing the statement in reified form
subtype: rdf#subject (rdf#statement -> ?) resource that a statement is describing when representing the statement in reified form
subtype: rdf#object (? -> ?) object of a statement when representing the statement in reified form
subtype: pm#support (?,?)
subtype: pm#example (?,pm#description_content/medium/container)
subtype: pm#illustration (pm#description_content/medium/container,pm#description_content/medium/container)
subtype: pm#syntax (?,pm#description_content/medium/container)
subtype: akts#has-magnitude__hasmagnitude (sumo#physical_quantity,xsd#decimal)
subtype: pm#editor (#publication,#editor)
subtype: pm#mereological_relation (?,*)
subtype: pm#part_or_parts (?,?)
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#sub_collection__subcollection (pm#collection,pm#collection) a partial order relation
subtype: pm#main_part (?,?)
subtype: pm#first_part__firstpart (?,?)
subtype: kif#first (sumo#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#parts__part (?,pm#collection) such a type (using a collection as destination) should NOT be used: pm#part or a subtype of it should be used instead
subtype: pm#part_of (?,?) this type SHOULD NOT BE USED IN WEBKB (its inverse may be used); this type is only provided for knowledge sharing purposes
subtype: 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: pm#part_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
subtype: dolce#part__P (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: dolce#atomic_part__AtP (dolce#world,dolce#particular,dolce#particular)
subtype: dolce#temporary_atomic_part__AtP (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: dolce#proper_part__PP (dolce#world,dolce#particular,dolce#particular) a subpart (different from the whole)
subtype: dolce#temporary_proper_part__PP (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: dolce#temporary_part__temporarypart__P (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: pm#overlap_with__overlapwith (?,?)
subtype: dl#overlap__O (dl#abstract_or_perdurant,dl#abstract_or_perdurant)
subtype: pm#intentional_relation__intentionalrelation (sumo#cognitive_agent,?) relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
subtype: sumo#prefers__prefer (sumo#cognitive_agent,sumo#formula,sumo#formula) the cognitive_agent prefers the state of affairs expressed by the 1st formula over the state of affairs expressed by the 2nd formula, all things being equal
subtype: sumo#in_scope_of_interest (sumo#cognitive_agent,?) the 2nd argument is within the scope of interest of the agent; the interest indicated can be either positive or negative
subtype: pm#propositional_attitude_relation (sumo#cognitive_agent,sumo#formula) intentional_relations where the agent has awareness of a proposition
subtype: sumo#desires (sumo#cognitive_agent,sumo#formula) the agent wants to bring about the state of affairs expressed by the formula (whcih may be already true); desires is distinguished from wants only in that the former is a propositional_attitude, while wants is an object_attitude
subtype: sumo#considers__consider (sumo#cognitive_agent,sumo#formula) the agent considers or wonders about the truth of the proposition expressed by the formula
subtype: sumo#believes (sumo#cognitive_agent,sumo#formula) the agent believes the proposition expressed by the formula
subtype: sumo#knows__know (sumo#cognitive_agent,sumo#formula) the agent knows the proposition expressed by the formula; knows entails conscious awareness, so this predicate cannot be used to express tacit or subconscious or unconscious knowledge
subtype: pm#object_attitude_relation (sumo#cognitive_agent,sumo#physical) intentional_relations where the agent has awareness of an instance of sumo#physical
subtype: sumo#needs__need (sumo#cognitive_agent,sumo#physical) the 2nd argument is physically required for the continued existence of the cognitive agent
subtype: sumo#wants__want (sumo#cognitive_agent,sumo#physical) the agent believes that the 2nd argument will satisfy one of its goals; what is wanted may or may not be already possessed by the agent
subtype: pm#temporal_relation (?,?)
subtype: pm#relation_from_time_to_situation (pm#time_measure,pm#situation)
subtype: pm#relation_to_time (*,pm#time_measure)
subtype: akts#temporal_relation (?,?)
subtype: akts#temporal_relation_from_time_point (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#second-of (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#minute-of (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#hour-of (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#day-of__dayof (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#month-of__monthof (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#year-of (sumo#time_point,sumo#nonnegative_integer)
subtype: akts#temporal_relation_from_time_interval (sumo#time_interval,dl#temporal_region)
subtype: akts#begins-at-time-point (sumo#time_interval,sumo#time_point)
subtype: akts#ends-at-time-point (sumo#time_interval,sumo#time_point)
subtype: akts#has-duration__hasduration (sumo#time_interval,sumo#time_duration)
subtype: akts#has-time-interval (cyc#temporal_thing,sumo#time_interval)
subtype: akts#in-timezone (sumo#time_position,sumo#integer)
subtype: sumo#time (sumo#physical,sumo#time_position) means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
subtype: sumo#temporal_part (?,?)
subtype: sumo#begin_fn__beginfn (?,?)
subtype: sumo#end_fn__endfn (?,?)
subtype: sumo#starts (?,?)
subtype: sumo#finishes (?,?)
subtype: sumo#before (?,?)
subtype: sumo#before_or_equal (?,?)
subtype: sumo#temporally_between (?,?)
subtype: sumo#temporally_between_or_equal (?,?)
subtype: sumo#overlaps_temporally (?,?)
subtype: sumo#meets_temporally__meetstemporally (?,?)
subtype: sumo#earlier (?,?)
subtype: sumo#cooccur (?,?)
subtype: sumo#time_interval_fn (?,?)
subtype: sumo#recurrent_time_interval_fn (?,?)
subtype: sumo#when_fn (sumo#physical -> sumo#time_interval) maps an object or process ?p to the exact time_interval during which it exists (for every time_point ?t outside of the time_interval, (time ?p ?t) does not hold
subtype: sumo#past_fn (?,?)
subtype: sumo#immediate_past_fn (?,?)
subtype: sumo#future_fn (?,?)
subtype: sumo#immediate_future_fn (?,?)
subtype: sumo#year_fn (?,?)
subtype: sumo#month_fn__monthfn (?,?)
subtype: sumo#day_fn__dayfn (?,?)
subtype: sumo#hour_fn (?,?)
subtype: sumo#minute_fn (?,?)
subtype: sumo#second_fn (?,?)
subtype: sumo#temporal_composition_fn (?,?)
subtype: sumo#relative_time_fn (?,?)
subtype: sumo#holds_during__holdsduring (sumo#time_position,sumo#formula) means that the proposition denoted by is true at (every temporal_part of) the time_position
subtype: pm#object_relation (?,?)
subtype: pm#object__patient___theme__theme (pm#situation,?)
subtype: pm#domain_object (pm#domain,?)
subtype: dl#conceptual_relation (dl#entity,dl#entity)
subtype: dl#immediate_relation__immediaterelation (dl#entity,dl#entity)
subtype: dl#inherent_in (dl#quality,dl#entity)
subtype: dl#q_location__qlocation (dl#quality,dl#region)
subtype: dl#constituted_by__constitutedby__substance___K__k (dl#entity,dl#entity)
subtype: dl#has_member__hasmember (dl#entity,dl#entity)
subtype: dl#part (dl#entity,dl#entity) the subpart may or may not be different from the whole
subtype: dl#participant__PC (dl#perdurant,dl#endurant) the DOLCE predicate PC(x,y,t) means "x participates in y during t" but this relation respects the usual reading conventions: the 1st argument has for participant the 2nd
subtype: dl#mediated_relation (dl#entity,dl#entity)
subtype: dl#present_at__presentat (dl#endurant,dl#time_interval)
subtype: dl#q_present_at__qpresentat (dl#physical_quality,dl#time_interval)
subtype: dl#happens_at__happensat (dl#perdurant,dl#time_interval)
subtype: dl#overlaps (dl#entity,dl#entity)
subtype: dl#sibling_part__siblingpart (dl#entity,dl#entity)
subtype: dl#proper_part (dl#entity,dl#entity) the subpart is different from the whole
subtype: dl#generic_location__genericlocation (dl#entity,dl#entity)
subtype: dl#exact_location__exactlocation (dl#entity,dl#region)
subtype: dl#location (dl#entity,dl#region)
subtype: dl#physical_location (dl#physical_endurant,dl#physical_region)
subtype: dl#spatial_location__spatiallocation (dl#physical_endurant,dl#space_region)
subtype: dl#temporal_location (dl#perdurant,dl#temporal_region)
subtype: dl#duration (dl#perdurant,dl#temporal_region)
subtype: dl#e_temporal_location (dl#endurant,dl#temporal_region)
subtype: dl#p_spatial_location__pspatiallocation (dl#perdurant,dl#space_region)
subtype: dl#abstract_location (dl#non-physical_endurant,dl#abstract_region)
subtype: dl#depends_on_spatial_location (dl#non-physical_endurant,dl#space_region)
subtype: dl#depends_on__dependson (dl#endurant,dl#quality_or_endurant_or_perdurant)
subtype: dl#physically_depends_on (dl#endurant,dl#PQ_or_PED_or_PR_or_PD)
subtype: dl#descriptively_depends_on__descriptivelydependson (dl#endurant,dl#non-physical_endurant)
subtype: dl#host (dl#feature,dl#entity)
subtype: pm#relation_for_an_application (*) relation introduced by an application
subtype: pm#relation_coming_from_an_ontology (*)
subtype: aktp#relation (*)
subtype: pm#P3P_relation (?,?)
subtype: p3p#expiry (p3p#PolicyResource,p3p#Expiry)
subtype: p3p#access (p3p#Policy,p3p#AccessClass) Indicates whether the site provides access to various kinds of information.
subtype: p3p#optInstructions__optinstruction (p3p#Policy,p3p#OptInstructions) A link to instructions that users can follow to request or decline to have their data used for a particular purpose.
subtype: p3p#abs-date__absdate__absolute_date (p3p#Expiry,rdfs#Literal) An absolute date in http format.
subtype: p3p#max-age__maxage__maximum_age (p3p#Expiry,rdfs#Literal) The maximum time before expiry.
subtype: p3p#start-time__starttime (p3p#Expiry,rdfs#Literal) The time in http date format that the policy was validated.
subtype: p3p#about (p3p#PolicyRef,p3p#Policy) The policy being referenced.
subtype: p3p#base (p3p#PolicyRefResource,rdfs#Literal) The policy base URI for includes and excludes.
subtype: p3p#include (p3p#PolicyRef,rdfs#Literal) Defines areas of the site to be covered by this policy.
subtype: p3p#exclude (p3p#PolicyRef,rdfs#Literal) Defines areas of the site not covered by this policy.
subtype: p3p#hint (p3p#PolicyRef,p3p#Hint) A hint where other relevant policy references can be found.
subtype: p3p#hintScope__scope (p3p#Hint,rdfs#Literal) The domain names to which the hint applies.
subtype: p3p#hintPath__path (p3p#Hint,rdfs#Literal) The location of the hinted policy reference files relative to the applicable host.
subtype: p3p#includeCookies__include (p3p#PolicyRef,p3p#CookieDescription) Cookies covered by the policy.
subtype: p3p#excludeCookies__exclude (p3p#PolicyRef,p3p#CookieDescription) Cookies not covered by the policy
subtype: p3p#cookieDomain__domain (p3p#CookieDescription,rdfs#Literal) Matches the domain name part of the cookie.
subtype: p3p#cookiePath__path (p3p#CookieDescription,rdfs#Literal) Matches the path part of the cookie.
subtype: p3p#cookieValue__value (p3p#CookieDescription,rdfs#Literal) Matches the value part of the cookie.
subtype: p3p#cookieName__name (p3p#CookieDescription,rdfs#Literal) Matches the name part of the cookie.
subtype: p3p#method (p3p#PolicyRef,rdfs#Literal) The name of a method to which the policy applies
subtype: p3p#disclosure (p3p#Policy,p3p#Disclosure) A natural language privacy statement
subtype: p3p#entity (p3p#Policy,p3p#LegalEntity) Identifies the legal entity making the representation of the privacy practices contained in the policy.
subtype: p3p#disputeResolution__disputeresolution (p3p#Policy,p3p#DisputeResolution) A collection of dispute resolution procedures that may be followed for disputes about a service's privacy practices.
subtype: p3p#service (p3p#DisputeResolution,?) The resolution services
subtype: p3p#verification (p3p#DisputeResolution,?) A resource which can be used for verification purposes.
subtype: p3p#remedy (p3p#DisputeResolution,p3p#RemedyClass) The possible remedies in case a policy breach occurs.
subtype: p3p#statement (p3p#Policy,p3p#Statement) Data practices that are applied to particular types of data
subtype: p3p#consequence (p3p#Statement,rdfs#Literal) Consequences that can be shown to a human user to explain why the suggested practice may be valuable in a particular instance even if the user would not normally allow the practice.
subtype: p3p#purpose (p3p#Statement,p3p#PurposeClass) Defines the purpose for which the data practise is employed
subtype: p3p#purposeAlways__purposealway (p3p#Statement,p3p#PurposeClass) The purpose is always required; users cannot opt-in or opt-out of this use of their data.
subtype: p3p#purposeOptIn (p3p#Statement,p3p#PurposeClass) Data may be used for this purpose only when the user affirmatively requests this use.
subtype: p3p#purposeOptOut (p3p#Statement,p3p#PurposeClass) Data may be used for this purpose unless the user requests that it not be used in this way.
subtype: p3p#recipient (p3p#Statement,p3p#Recipient) A legal entity, or domain, beyond the service provider and its agents where data may be distributed
subtype: p3p#recipientAlways (p3p#Statement,p3p#Recipient) The recipient always receives this data
subtype: p3p#recipientOptIn (p3p#Statement,p3p#Recipient) The recipient may receive this data only when the user affirmatively requests it
subtype: p3p#recipientOptOut (p3p#Statement,p3p#Recipient) The recipient will receive data unless the user requests that it not be used in this way
subtype: p3p#recipient-description__recipientdescription (p3p#Recipient,rdfs#Literal) a description of the recipient
subtype: p3p#retention__retention-policy__retentionpolicy (p3p#Statement,p3p#RetentionPolicyClass) The kind of retention policy that applies to the data referenced by the subject
subtype: p3p#data (p3p#Statement,p3p#DataElement) the data to be transferred or inferred
subtype: p3p#optionalData (p3p#Statement,p3p#DataElement) the data to be optionaly transferred or inferred
subtype: p3p#category (p3p#DataElement,p3p#CategoryClass) hints to users and user agents as to the intended uses of the data
subtype: p3p#extOptional__optional (?,?) A p3p processor is not required to understand the value of the only property of the value of this property.
subtype: p3p#extMandatory__extmandatory__mandatory (?,?) A p3p processor is required to understand the value of the only property of the value of this property.
subtype: p3p#dataElementComponent__data_element_property (p3p#StructuredDataElement,?) A part of a data structure
subtype: p3p#dynamic.clickstream__clickstream (p3p#StructuredDataElement,p3p#Dynamic.clickstream) click-stream information
subtype: p3p#dynamic.clickstream.uri__uri (p3p#StructuredDataElement,p3p#Dynamic.clickstream.uri) uri of requested resource
subtype: p3p#dynamic.clickstream.uri.authority__authority (p3p#StructuredDataElement,p3p#Dynamic.clickstream.uri.authority) uri authority
subtype: p3p#dynamic.clickstream.uri.stem__stem (p3p#StructuredDataElement,p3p#Dynamic.clickstream.uri.stem) uri stem
subtype: p3p#dynamic.clickstream.uri.querystring__querystring (p3p#StructuredDataElement,p3p#Dynamic.clickstream.uri.querystring) query-string portion of uri
subtype: p3p#dynamic.clickstream.timestamp__timestamp (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp) request timestamp
subtype: p3p#dynamic.clickstream.timestamp.ymd__ymd (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.ymd)
subtype: p3p#dynamic.clickstream.timestamp.ymd.year__year (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.ymd.year) year
subtype: p3p#dynamic.clickstream.timestamp.ymd.month__month (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.ymd.month) month
subtype: p3p#dynamic.clickstream.timestamp.ymd.day__day (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.ymd.day) day
subtype: p3p#dynamic.clickstream.timestamp.hms__hms__hm (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.hms)
subtype: p3p#dynamic.clickstream.timestamp.hms.hour__hour (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.hms.hour) hour
subtype: p3p#dynamic.clickstream.timestamp.hms.minute__minute (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.hms.minute) minute
subtype: p3p#dynamic.clickstream.timestamp.hms.second__second (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.hms.second) second
subtype: p3p#dynamic.clickstream.timestamp.fractionsecond__fractionsecond (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.fractionsecond) fraction of second
subtype: p3p#dynamic.clickstream.timestamp.timezone__timezone (p3p#StructuredDataElement,p3p#Dynamic.clickstream.timestamp.timezone) time zone
subtype: p3p#dynamic.clickstream.clientip__clientip (p3p#StructuredDataElement,p3p#Dynamic.clickstream.clientip) client's ip address or hostname
subtype: p3p#dynamic.clickstream.clientip.hostname__hostname (p3p#StructuredDataElement,p3p#Dynamic.clickstream.clientip.hostname) complete host and domain name
subtype: p3p#dynamic.clickstream.clientip.partialhostname__partialhostname (p3p#StructuredDataElement,p3p#Dynamic.clickstream.clientip.partialhostname) partial host name
subtype: p3p#dynamic.clickstream.clientip.fullip__fullip (p3p#StructuredDataElement,p3p#Dynamic.clickstream.clientip.fullip) full ip address
subtype: p3p#dynamic.clickstream.clientip.partialip__partialip (p3p#StructuredDataElement,p3p#Dynamic.clickstream.clientip.partialip) partial ip address
subtype: p3p#dynamic.clickstream.other__other (p3p#StructuredDataElement,p3p#Dynamic.clickstream.other)
subtype: p3p#dynamic.clickstream.other.httpmethod__httpmethod (p3p#StructuredDataElement,p3p#Dynamic.clickstream.other.httpmethod) http request method
subtype: p3p#dynamic.clickstream.other.bytes__bytes (p3p#StructuredDataElement,p3p#Dynamic.clickstream.other.bytes) data bytes in response
subtype: p3p#dynamic.clickstream.other.statuscode__statuscode (p3p#StructuredDataElement,p3p#Dynamic.clickstream.other.statuscode) response status code
subtype: p3p#dynamic.http__http (p3p#StructuredDataElement,p3p#Dynamic.http) http protocol information
subtype: p3p#dynamic.http.referrer__referrer (p3p#StructuredDataElement,p3p#Dynamic.http.referrer) last uri requested by the user
subtype: p3p#dynamic.http.referrer.authority__authority (p3p#StructuredDataElement,p3p#Dynamic.http.referrer.authority) uri authority
subtype: p3p#dynamic.http.referrer.stem__stem (p3p#StructuredDataElement,p3p#Dynamic.http.referrer.stem) uri stem
subtype: p3p#dynamic.http.referrer.querystring__querystring (p3p#StructuredDataElement,p3p#Dynamic.http.referrer.querystring) query-string portion of uri
subtype: p3p#dynamic.http.useragent__useragent (p3p#StructuredDataElement,p3p#Dynamic.http.useragent) user agent information
subtype: p3p#dynamic.clientevents__clientevents (p3p#StructuredDataElement,p3p#Dynamic.clientevents) user's interaction with a resource
subtype: p3p#dynamic.cookies__cookies (p3p#StructuredDataElement,p3p#Dynamic.cookies) use of http cookies
subtype: p3p#dynamic.searchtext__searchtext (p3p#StructuredDataElement,p3p#Dynamic.searchtext) search terms
subtype: p3p#dynamic.interactionrecord__interactionrecord (p3p#StructuredDataElement,p3p#Dynamic.interactionrecord) server stores transaction history
subtype: p3p#dynamic.miscdata__miscdata (p3p#StructuredDataElement,p3p#Dynamic.miscdata) miscellaneous non-base data schema
subtype: p3p#user.name__name (p3p#StructuredDataElement,p3p#User.name) user's name
subtype: p3p#user.name.prefix__prefix (p3p#StructuredDataElement,p3p#User.name.prefix) name prefix
subtype: p3p#user.name.given__given (p3p#StructuredDataElement,p3p#User.name.given) given name
subtype: p3p#user.name.middle__middle (p3p#StructuredDataElement,p3p#User.name.middle) &&& seq? middle name
subtype: p3p#user.name.family__family (p3p#StructuredDataElement,p3p#User.name.family) family name (last name)
subtype: p3p#user.name.suffix__suffix (p3p#StructuredDataElement,p3p#User.name.suffix) name suffix
subtype: p3p#user.name.nickname__nickname (p3p#StructuredDataElement,p3p#User.name.nickname) nickname
subtype: p3p#user.bdate__bdate (p3p#StructuredDataElement,p3p#User.bdate) user's birth date
subtype: p3p#user.bdate.ymd__ymd (p3p#StructuredDataElement,p3p#User.bdate.ymd)
subtype: p3p#user.bdate.ymd.year__year (p3p#StructuredDataElement,p3p#User.bdate.ymd.year) year
subtype: p3p#user.bdate.ymd.month__month (p3p#StructuredDataElement,p3p#User.bdate.ymd.month) month
subtype: p3p#user.bdate.ymd.day__day (p3p#StructuredDataElement,p3p#User.bdate.ymd.day) day
subtype: p3p#user.bdate.hms__hms__hm (p3p#StructuredDataElement,p3p#User.bdate.hms)
subtype: p3p#user.bdate.hms.hour__hour (p3p#StructuredDataElement,p3p#User.bdate.hms.hour) hour
subtype: p3p#user.bdate.hms.minute__minute (p3p#StructuredDataElement,p3p#User.bdate.hms.minute) minute
subtype: p3p#user.bdate.hms.second__second (p3p#StructuredDataElement,p3p#User.bdate.hms.second) second
subtype: p3p#user.bdate.fractionsecond__fractionsecond (p3p#StructuredDataElement,p3p#User.bdate.fractionsecond) fraction of second
subtype: p3p#user.bdate.timezone__timezone (p3p#StructuredDataElement,p3p#User.bdate.timezone) time zone
subtype: p3p#user.login__login (p3p#StructuredDataElement,p3p#User.login) user's login information
subtype: p3p#user.login.id__id (p3p#StructuredDataElement,p3p#User.login.id) login id
subtype: p3p#user.login.password__password (p3p#StructuredDataElement,p3p#User.login.password) login password
subtype: p3p#user.cert__cert (p3p#StructuredDataElement,p3p#User.cert) user's identity certificate
subtype: p3p#user.cert.key__key (p3p#StructuredDataElement,p3p#User.cert.key) certificate key
subtype: p3p#user.cert.format__format (p3p#StructuredDataElement,p3p#User.cert.format) certificate format
subtype: p3p#user.gender__gender (p3p#StructuredDataElement,p3p#User.gender) user's gender
subtype: p3p#user.jobtitle__jobtitle (p3p#StructuredDataElement,p3p#User.jobtitle) user's jobtitle
subtype: p3p#user.home-info__home-info (p3p#StructuredDataElement,p3p#User.home-info) user's home contact information
subtype: p3p#user.home-info.postal__postal (p3p#StructuredDataElement,p3p#User.home-info.postal) postal address information
subtype: p3p#user.home-info.postal.name__name (p3p#StructuredDataElement,p3p#User.home-info.postal.name)
subtype: p3p#user.home-info.postal.name.prefix__prefix (p3p#StructuredDataElement,p3p#User.home-info.postal.name.prefix) name prefix
subtype: p3p#user.home-info.postal.name.given__given (p3p#StructuredDataElement,p3p#User.home-info.postal.name.given) given name
subtype: p3p#user.home-info.postal.name.middle__middle (p3p#StructuredDataElement,p3p#User.home-info.postal.name.middle) &&& seq? middle name
subtype: p3p#user.home-info.postal.name.family__family (p3p#StructuredDataElement,p3p#User.home-info.postal.name.family) family name (last name)
subtype: p3p#user.home-info.postal.name.suffix__suffix (p3p#StructuredDataElement,p3p#User.home-info.postal.name.suffix) name suffix
subtype: p3p#user.home-info.postal.name.nickname__nickname (p3p#StructuredDataElement,p3p#User.home-info.postal.name.nickname) nickname
subtype: p3p#user.home-info.postal.street__street (p3p#StructuredDataElement,p3p#User.home-info.postal.street) street address
subtype: p3p#user.home-info.postal.city__city (p3p#StructuredDataElement,p3p#User.home-info.postal.city) city
subtype: p3p#user.home-info.postal.stateprov__stateprov (p3p#StructuredDataElement,p3p#User.home-info.postal.stateprov) State or Province
subtype: p3p#user.home-info.postal.postalcode__postalcode (p3p#StructuredDataElement,p3p#User.home-info.postal.postalcode) Postal Code
subtype: p3p#user.home-info.postal.organization__organization (p3p#StructuredDataElement,p3p#User.home-info.postal.organization) organization name
subtype: p3p#user.home-info.postal.country__country (p3p#StructuredDataElement,p3p#User.home-info.postal.country) country name
subtype: p3p#user.home-info.telecom__telecom (p3p#StructuredDataElement,p3p#User.home-info.telecom) telecommunications address information
subtype: p3p#user.home-info.telecom.telephone__telephone (p3p#StructuredDataElement,p3p#User.home-info.telecom.telephone) telephone number
subtype: p3p#user.home-info.telecom.telephone.intcode__intcode (p3p#StructuredDataElement,p3p#User.home-info.telecom.telephone.intcode) international telephone code
subtype: p3p#user.home-info.telecom.telephone.loccode__loccode (p3p#StructuredDataElement,p3p#User.home-info.telecom.telephone.loccode) local telephone area code
subtype: p3p#user.home-info.telecom.telephone.number__number (p3p#StructuredDataElement,p3p#User.home-info.telecom.telephone.number) telephone number
subtype: p3p#user.home-info.telecom.telephone.ext__ext (p3p#StructuredDataElement,p3p#User.home-info.telecom.telephone.ext) telephone extension
subtype: p3p#user.home-info.telecom.telephone.comment__comment (p3p#StructuredDataElement,p3p#User.home-info.telecom.telephone.comment) telephone optional comments
subtype: p3p#user.home-info.telecom.fax__fax (p3p#StructuredDataElement,p3p#User.home-info.telecom.fax) fax number
subtype: p3p#user.home-info.telecom.fax.intcode__intcode (p3p#StructuredDataElement,p3p#User.home-info.telecom.fax.intcode) international telephone code
subtype: p3p#user.home-info.telecom.fax.loccode__loccode (p3p#StructuredDataElement,p3p#User.home-info.telecom.fax.loccode) local telephone area code
subtype: p3p#user.home-info.telecom.fax.number__number (p3p#StructuredDataElement,p3p#User.home-info.telecom.fax.number) telephone number
subtype: p3p#user.home-info.telecom.fax.ext__ext (p3p#StructuredDataElement,p3p#User.home-info.telecom.fax.ext) telephone extension
subtype: p3p#user.home-info.telecom.fax.comment__comment (p3p#StructuredDataElement,p3p#User.home-info.telecom.fax.comment) telephone optional comments
subtype: p3p#user.home-info.telecom.mobile__mobile (p3p#StructuredDataElement,p3p#User.home-info.telecom.mobile) mobile telephone number
subtype: p3p#user.home-info.telecom.mobile.intcode__intcode (p3p#StructuredDataElement,p3p#User.home-info.telecom.mobile.intcode) international telephone code
subtype: p3p#user.home-info.telecom.mobile.loccode__loccode (p3p#StructuredDataElement,p3p#User.home-info.telecom.mobile.loccode) local telephone area code
subtype: p3p#user.home-info.telecom.mobile.number__number (p3p#StructuredDataElement,p3p#User.home-info.telecom.mobile.number) telephone number
subtype: p3p#user.home-info.telecom.mobile.ext__ext (p3p#StructuredDataElement,p3p#User.home-info.telecom.mobile.ext) telephone extension
subtype: p3p#user.home-info.telecom.mobile.comment__comment (p3p#StructuredDataElement,p3p#User.home-info.telecom.mobile.comment) telephone optional comments
subtype: p3p#user.home-info.telecom.pager__pager (p3p#StructuredDataElement,p3p#User.home-info.telecom.pager) pager number
subtype: p3p#user.home-info.telecom.pager.intcode__intcode (p3p#StructuredDataElement,p3p#User.home-info.telecom.pager.intcode) international telephone code
subtype: p3p#user.home-info.telecom.pager.loccode__loccode (p3p#StructuredDataElement,p3p#User.home-info.telecom.pager.loccode) local telephone area code
subtype: p3p#user.home-info.telecom.pager.number__number (p3p#StructuredDataElement,p3p#User.home-info.telecom.pager.number) telephone number
subtype: p3p#user.home-info.telecom.pager.ext__ext (p3p#StructuredDataElement,p3p#User.home-info.telecom.pager.ext) telephone extension
subtype: p3p#user.home-info.telecom.pager.comment__comment (p3p#StructuredDataElement,p3p#User.home-info.telecom.pager.comment) telephone optional comments
subtype: p3p#user.home-info.online__online (p3p#StructuredDataElement,p3p#User.home-info.online) online address information
subtype: p3p#user.home-info.online.email__email (p3p#StructuredDataElement,p3p#User.home-info.online.email) email address
subtype: p3p#user.home-info.online.uri__uri (p3p#StructuredDataElement,p3p#User.home-info.online.uri) home page address
subtype: p3p#user.business-info__business-info (p3p#StructuredDataElement,p3p#User.business-info) user's business contact information
subtype: p3p#user.business-info.postal__postal (p3p#StructuredDataElement,p3p#User.business-info.postal) postal address information
subtype: p3p#user.business-info.postal.name__name (p3p#StructuredDataElement,p3p#User.business-info.postal.name)
subtype: p3p#user.business-info.postal.name.prefix__prefix (p3p#StructuredDataElement,p3p#User.business-info.postal.name.prefix) name prefix
subtype: p3p#user.business-info.postal.name.given__given (p3p#StructuredDataElement,p3p#User.business-info.postal.name.given) given name
subtype: p3p#user.business-info.postal.name.middle__middle (p3p#StructuredDataElement,p3p#User.business-info.postal.name.middle) &&& seq? middle name
subtype: p3p#user.business-info.postal.name.family__family (p3p#StructuredDataElement,p3p#User.business-info.postal.name.family) family name (last name)
subtype: p3p#user.business-info.postal.name.suffix__suffix (p3p#StructuredDataElement,p3p#User.business-info.postal.name.suffix) name suffix
subtype: p3p#user.business-info.postal.name.nickname__nickname (p3p#StructuredDataElement,p3p#User.business-info.postal.name.nickname) nickname
subtype: p3p#user.business-info.postal.street__street (p3p#StructuredDataElement,p3p#User.business-info.postal.street) street address
subtype: p3p#user.business-info.postal.city__city (p3p#StructuredDataElement,p3p#User.business-info.postal.city) city
subtype: p3p#user.business-info.postal.stateprov__stateprov (p3p#StructuredDataElement,p3p#User.business-info.postal.stateprov) State or Province
subtype: p3p#user.business-info.postal.postalcode__postalcode (p3p#StructuredDataElement,p3p#User.business-info.postal.postalcode) Postal Code
subtype: p3p#user.business-info.postal.organization__organization (p3p#StructuredDataElement,p3p#User.business-info.postal.organization) organization name
subtype: p3p#user.business-info.postal.country__country (p3p#StructuredDataElement,p3p#User.business-info.postal.country) country name
subtype: p3p#user.business-info.telecom__telecom (p3p#StructuredDataElement,p3p#User.business-info.telecom) telecommunications address information
subtype: p3p#user.business-info.telecom.telephone__telephone (p3p#StructuredDataElement,p3p#User.business-info.telecom.telephone) telephone number
subtype: p3p#user.business-info.telecom.telephone.intcode__intcode (p3p#StructuredDataElement,p3p#User.business-info.telecom.telephone.intcode) international telephone code
subtype: p3p#user.business-info.telecom.telephone.loccode__loccode (p3p#StructuredDataElement,p3p#User.business-info.telecom.telephone.loccode) local telephone area code
subtype: p3p#user.business-info.telecom.telephone.number__number (p3p#StructuredDataElement,p3p#User.business-info.telecom.telephone.number) telephone number
subtype: p3p#user.business-info.telecom.telephone.ext__ext (p3p#StructuredDataElement,p3p#User.business-info.telecom.telephone.ext) telephone extension
subtype: p3p#user.business-info.telecom.telephone.comment__comment (p3p#StructuredDataElement,p3p#User.business-info.telecom.telephone.comment) telephone optional comments
subtype: p3p#user.business-info.telecom.fax__fax (p3p#StructuredDataElement,p3p#User.business-info.telecom.fax) fax number
subtype: p3p#user.business-info.telecom.fax.intcode__intcode (p3p#StructuredDataElement,p3p#User.business-info.telecom.fax.intcode) international telephone code
subtype: p3p#user.business-info.telecom.fax.loccode__loccode (p3p#StructuredDataElement,p3p#User.business-info.telecom.fax.loccode) local telephone area code
subtype: p3p#user.business-info.telecom.fax.number__number (p3p#StructuredDataElement,p3p#User.business-info.telecom.fax.number) telephone number
subtype: p3p#user.business-info.telecom.fax.ext__ext (p3p#StructuredDataElement,p3p#User.business-info.telecom.fax.ext) telephone extension
subtype: p3p#user.business-info.telecom.fax.comment__comment (p3p#StructuredDataElement,p3p#User.business-info.telecom.fax.comment) telephone optional comments
subtype: p3p#user.business-info.telecom.mobile__mobile (p3p#StructuredDataElement,p3p#User.business-info.telecom.mobile) mobile telephone number
subtype: p3p#user.business-info.telecom.mobile.intcode__intcode (p3p#StructuredDataElement,p3p#User.business-info.telecom.mobile.intcode) international telephone code
subtype: p3p#user.business-info.telecom.mobile.loccode__loccode (p3p#StructuredDataElement,p3p#User.business-info.telecom.mobile.loccode) local telephone area code
subtype: p3p#user.business-info.telecom.mobile.number__number (p3p#StructuredDataElement,p3p#User.business-info.telecom.mobile.number) telephone number
subtype: p3p#user.business-info.telecom.mobile.ext__ext (p3p#StructuredDataElement,p3p#User.business-info.telecom.mobile.ext) telephone extension
subtype: p3p#user.business-info.telecom.mobile.comment__comment (p3p#StructuredDataElement,p3p#User.business-info.telecom.mobile.comment) telephone optional comments
subtype: p3p#user.business-info.telecom.pager__pager (p3p#StructuredDataElement,p3p#User.business-info.telecom.pager) pager number
subtype: p3p#user.business-info.telecom.pager.intcode__intcode (p3p#StructuredDataElement,p3p#User.business-info.telecom.pager.intcode) international telephone code
subtype: p3p#user.business-info.telecom.pager.loccode__loccode (p3p#StructuredDataElement,p3p#User.business-info.telecom.pager.loccode) local telephone area code
subtype: p3p#user.business-info.telecom.pager.number__number (p3p#StructuredDataElement,p3p#User.business-info.telecom.pager.number) telephone number
subtype: p3p#user.business-info.telecom.pager.ext__ext (p3p#StructuredDataElement,p3p#User.business-info.telecom.pager.ext) telephone extension
subtype: p3p#user.business-info.telecom.pager.comment__comment (p3p#StructuredDataElement,p3p#User.business-info.telecom.pager.comment) telephone optional comments
subtype: p3p#user.business-info.online__online (p3p#StructuredDataElement,p3p#User.business-info.online) online address information
subtype: p3p#user.business-info.online.email__email (p3p#StructuredDataElement,p3p#User.business-info.online.email) email address
subtype: p3p#user.business-info.online.uri__uri (p3p#StructuredDataElement,p3p#User.business-info.online.uri) home page address
subtype: p3p#user.employer__employer (p3p#StructuredDataElement,p3p#User.employer) user's employer
subtype: p3p#user.department__department (p3p#StructuredDataElement,p3p#User.department) department
subtype: p3p#thirdparty.name__name (p3p#StructuredDataElement,p3p#Thirdparty.name) third party's name
subtype: p3p#thirdparty.name.prefix__prefix (p3p#StructuredDataElement,p3p#Thirdparty.name.prefix) name prefix
subtype: p3p#thirdparty.name.given__given (p3p#StructuredDataElement,p3p#Thirdparty.name.given) given name
subtype: p3p#thirdparty.name.middle__middle (p3p#StructuredDataElement,p3p#Thirdparty.name.middle) &&& seq? middle name
subtype: p3p#thirdparty.name.family__family (p3p#StructuredDataElement,p3p#Thirdparty.name.family) family name (last name)
subtype: p3p#thirdparty.name.suffix__suffix (p3p#StructuredDataElement,p3p#Thirdparty.name.suffix) name suffix
subtype: p3p#thirdparty.name.nickname__nickname (p3p#StructuredDataElement,p3p#Thirdparty.name.nickname) nickname
subtype: p3p#thirdparty.bdate__bdate (p3p#StructuredDataElement,p3p#Thirdparty.bdate) thirdparty's birth date
subtype: p3p#thirdparty.bdate.ymd__ymd (p3p#StructuredDataElement,p3p#Thirdparty.bdate.ymd)
subtype: p3p#thirdparty.bdate.ymd.year__year (p3p#StructuredDataElement,p3p#Thirdparty.bdate.ymd.year) year
subtype: p3p#thirdparty.bdate.ymd.month__month (p3p#StructuredDataElement,p3p#Thirdparty.bdate.ymd.month) month
subtype: p3p#thirdparty.bdate.ymd.day__day (p3p#StructuredDataElement,p3p#Thirdparty.bdate.ymd.day) day
subtype: p3p#thirdparty.bdate.hms__hms__hm (p3p#StructuredDataElement,p3p#Thirdparty.bdate.hms)
subtype: p3p#thirdparty.bdate.hms.hour__hour (p3p#StructuredDataElement,p3p#Thirdparty.bdate.hms.hour) hour
subtype: p3p#thirdparty.bdate.hms.minute__minute (p3p#StructuredDataElement,p3p#Thirdparty.bdate.hms.minute) minute
subtype: p3p#thirdparty.bdate.hms.second__second (p3p#StructuredDataElement,p3p#Thirdparty.bdate.hms.second) second
subtype: p3p#thirdparty.bdate.fractionsecond__fractionsecond (p3p#StructuredDataElement,p3p#Thirdparty.bdate.fractionsecond) fraction of second
subtype: p3p#thirdparty.bdate.timezone__timezone (p3p#StructuredDataElement,p3p#Thirdparty.bdate.timezone) time zone
subtype: p3p#thirdparty.login__login (p3p#StructuredDataElement,p3p#Thirdparty.login) thirdparty's login information
subtype: p3p#thirdparty.login.id__id (p3p#StructuredDataElement,p3p#Thirdparty.login.id) login id
subtype: p3p#thirdparty.login.password__password (p3p#StructuredDataElement,p3p#Thirdparty.login.password) login password
subtype: p3p#thirdparty.cert__cert (p3p#StructuredDataElement,p3p#Thirdparty.cert) thirdparty's identity certificate
subtype: p3p#thirdparty.cert.key__key (p3p#StructuredDataElement,p3p#Thirdparty.cert.key) certificate key
subtype: p3p#thirdparty.cert.format__format (p3p#StructuredDataElement,p3p#Thirdparty.cert.format) certificate format
subtype: p3p#thirdparty.gender__gender (p3p#StructuredDataElement,p3p#Thirdparty.gender) thirdparty's gender
subtype: p3p#thirdparty.jobtitle__jobtitle (p3p#StructuredDataElement,p3p#Thirdparty.jobtitle) third party's jobtitle
subtype: p3p#thirdparty.home-info__home-info (p3p#StructuredDataElement,p3p#Thirdparty.home-info) thirdparty's home contact information
subtype: p3p#thirdparty.home-info.postal__postal (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal) postal address information
subtype: p3p#thirdparty.home-info.postal.name__name (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name)
subtype: p3p#thirdparty.home-info.postal.name.prefix__prefix (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name.prefix) name prefix
subtype: p3p#thirdparty.home-info.postal.name.given__given (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name.given) given name
subtype: p3p#thirdparty.home-info.postal.name.middle__middle (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name.middle) &&& seq? middle name
subtype: p3p#thirdparty.home-info.postal.name.family__family (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name.family) family name (last name)
subtype: p3p#thirdparty.home-info.postal.name.suffix__suffix (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name.suffix) name suffix
subtype: p3p#thirdparty.home-info.postal.name.nickname__nickname (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.name.nickname) nickname
subtype: p3p#thirdparty.home-info.postal.street__street (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.street) street address
subtype: p3p#thirdparty.home-info.postal.city__city (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.city) city
subtype: p3p#thirdparty.home-info.postal.stateprov__stateprov (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.stateprov) State or Province
subtype: p3p#thirdparty.home-info.postal.postalcode__postalcode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.postalcode) Postal Code
subtype: p3p#thirdparty.home-info.postal.organization__organization (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.organization) organization name
subtype: p3p#thirdparty.home-info.postal.country__country (p3p#StructuredDataElement,p3p#Thirdparty.home-info.postal.country) country name
subtype: p3p#thirdparty.home-info.telecom__telecom (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom) telecommunications address information
subtype: p3p#thirdparty.home-info.telecom.telephone__telephone (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.telephone) telephone number
subtype: p3p#thirdparty.home-info.telecom.telephone.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.telephone.intcode) international telephone code
subtype: p3p#thirdparty.home-info.telecom.telephone.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.telephone.loccode) local telephone area code
subtype: p3p#thirdparty.home-info.telecom.telephone.number__number (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.telephone.number) telephone number
subtype: p3p#thirdparty.home-info.telecom.telephone.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.telephone.ext) telephone extension
subtype: p3p#thirdparty.home-info.telecom.telephone.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.telephone.comment) telephone optional comments
subtype: p3p#thirdparty.home-info.telecom.fax__fax (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.fax) fax number
subtype: p3p#thirdparty.home-info.telecom.fax.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.fax.intcode) international telephone code
subtype: p3p#thirdparty.home-info.telecom.fax.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.fax.loccode) local telephone area code
subtype: p3p#thirdparty.home-info.telecom.fax.number__number (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.fax.number) telephone number
subtype: p3p#thirdparty.home-info.telecom.fax.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.fax.ext) telephone extension
subtype: p3p#thirdparty.home-info.telecom.fax.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.fax.comment) telephone optional comments
subtype: p3p#thirdparty.home-info.telecom.mobile__mobile (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.mobile) mobile telephone number
subtype: p3p#thirdparty.home-info.telecom.mobile.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.mobile.intcode) international telephone code
subtype: p3p#thirdparty.home-info.telecom.mobile.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.mobile.loccode) local telephone area code
subtype: p3p#thirdparty.home-info.telecom.mobile.number__number (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.mobile.number) telephone number
subtype: p3p#thirdparty.home-info.telecom.mobile.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.mobile.ext) telephone extension
subtype: p3p#thirdparty.home-info.telecom.mobile.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.mobile.comment) telephone optional comments
subtype: p3p#thirdparty.home-info.telecom.pager__pager (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.pager) pager number
subtype: p3p#thirdparty.home-info.telecom.pager.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.pager.intcode) international telephone code
subtype: p3p#thirdparty.home-info.telecom.pager.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.pager.loccode) local telephone area code
subtype: p3p#thirdparty.home-info.telecom.pager.number__number (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.pager.number) telephone number
subtype: p3p#thirdparty.home-info.telecom.pager.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.pager.ext) telephone extension
subtype: p3p#thirdparty.home-info.telecom.pager.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.home-info.telecom.pager.comment) telephone optional comments
subtype: p3p#thirdparty.home-info.online__online (p3p#StructuredDataElement,p3p#Thirdparty.home-info.online) online address information
subtype: p3p#thirdparty.home-info.online.email__email (p3p#StructuredDataElement,p3p#Thirdparty.home-info.online.email) email address
subtype: p3p#thirdparty.home-info.online.uri__uri (p3p#StructuredDataElement,p3p#Thirdparty.home-info.online.uri) home page address
subtype: p3p#thirdparty.business-info__business-info (p3p#StructuredDataElement,p3p#Thirdparty.business-info) thirdparty's business contact information
subtype: p3p#thirdparty.business-info.postal__postal (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal) postal address information
subtype: p3p#thirdparty.business-info.postal.name__name (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name)
subtype: p3p#thirdparty.business-info.postal.name.prefix__prefix (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name.prefix) name prefix
subtype: p3p#thirdparty.business-info.postal.name.given__given (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name.given) given name
subtype: p3p#thirdparty.business-info.postal.name.middle__middle (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name.middle) &&& seq? middle name
subtype: p3p#thirdparty.business-info.postal.name.family__family (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name.family) family name (last name)
subtype: p3p#thirdparty.business-info.postal.name.suffix__suffix (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name.suffix) name suffix
subtype: p3p#thirdparty.business-info.postal.name.nickname__nickname (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.name.nickname) nickname
subtype: p3p#thirdparty.business-info.postal.street__street (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.street) street address
subtype: p3p#thirdparty.business-info.postal.city__city (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.city) city
subtype: p3p#thirdparty.business-info.postal.stateprov__stateprov (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.stateprov) State or Province
subtype: p3p#thirdparty.business-info.postal.postalcode__postalcode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.postalcode) Postal Code
subtype: p3p#thirdparty.business-info.postal.organization__organization (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.organization) organization name
subtype: p3p#thirdparty.business-info.postal.country__country (p3p#StructuredDataElement,p3p#Thirdparty.business-info.postal.country) country name
subtype: p3p#thirdparty.business-info.telecom__telecom (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom) telecommunications address information
subtype: p3p#thirdparty.business-info.telecom.telephone__telephone (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.telephone) telephone number
subtype: p3p#thirdparty.business-info.telecom.telephone.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.telephone.intcode) international telephone code
subtype: p3p#thirdparty.business-info.telecom.telephone.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.telephone.loccode) local telephone area code
subtype: p3p#thirdparty.business-info.telecom.telephone.number__number (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.telephone.number) telephone number
subtype: p3p#thirdparty.business-info.telecom.telephone.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.telephone.ext) telephone extension
subtype: p3p#thirdparty.business-info.telecom.telephone.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.telephone.comment) telephone optional comments
subtype: p3p#thirdparty.business-info.telecom.fax__fax (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.fax) fax number
subtype: p3p#thirdparty.business-info.telecom.fax.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.fax.intcode) international telephone code
subtype: p3p#thirdparty.business-info.telecom.fax.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.fax.loccode) local telephone area code
subtype: p3p#thirdparty.business-info.telecom.fax.number__number (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.fax.number) telephone number
subtype: p3p#thirdparty.business-info.telecom.fax.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.fax.ext) telephone extension
subtype: p3p#thirdparty.business-info.telecom.fax.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.fax.comment) telephone optional comments
subtype: p3p#thirdparty.business-info.telecom.mobile__mobile (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.mobile) mobile telephone number
subtype: p3p#thirdparty.business-info.telecom.mobile.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.mobile.intcode) international telephone code
subtype: p3p#thirdparty.business-info.telecom.mobile.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.mobile.loccode) local telephone area code
subtype: p3p#thirdparty.business-info.telecom.mobile.number__number (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.mobile.number) telephone number
subtype: p3p#thirdparty.business-info.telecom.mobile.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.mobile.ext) telephone extension
subtype: p3p#thirdparty.business-info.telecom.mobile.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.mobile.comment) telephone optional comments
subtype: p3p#thirdparty.business-info.telecom.pager__pager (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.pager) pager number
subtype: p3p#thirdparty.business-info.telecom.pager.intcode__intcode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.pager.intcode) international telephone code
subtype: p3p#thirdparty.business-info.telecom.pager.loccode__loccode (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.pager.loccode) local telephone area code
subtype: p3p#thirdparty.business-info.telecom.pager.number__number (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.pager.number) telephone number
subtype: p3p#thirdparty.business-info.telecom.pager.ext__ext (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.pager.ext) telephone extension
subtype: p3p#thirdparty.business-info.telecom.pager.comment__comment (p3p#StructuredDataElement,p3p#Thirdparty.business-info.telecom.pager.comment) telephone optional comments
subtype: p3p#thirdparty.business-info.online__online (p3p#StructuredDataElement,p3p#Thirdparty.business-info.online) online address information
subtype: p3p#thirdparty.business-info.online.email__email (p3p#StructuredDataElement,p3p#Thirdparty.business-info.online.email) email address
subtype: p3p#thirdparty.business-info.online.uri__uri (p3p#StructuredDataElement,p3p#Thirdparty.business-info.online.uri) home page address
subtype: p3p#thirdparty.employer__employer (p3p#StructuredDataElement,p3p#Thirdparty.employer) thirdparty's employer
subtype: p3p#thirdparty.department__department (p3p#StructuredDataElement,p3p#Thirdparty.department) department
subtype: p3p#business.name__busines__name (p3p#StructuredDataElement,p3p#Business.name) organization name
subtype: p3p#business.department__department (p3p#StructuredDataElement,p3p#Business.department) department
subtype: p3p#business.cert__cert (p3p#StructuredDataElement,p3p#Business.cert) organization identity certificate
subtype: p3p#business.cert.key__key (p3p#StructuredDataElement,p3p#Business.cert.key) certificate key
subtype: p3p#business.cert.format__format (p3p#StructuredDataElement,p3p#Business.cert.format) certificate format
subtype: p3p#business.contact-info__busines__contact-info__contactinfo (p3p#StructuredDataElement,p3p#Business.contact-info) contact information for the organization
subtype: p3p#business.contact-info.postal__busines__postal (p3p#StructuredDataElement,p3p#Business.contact-info.postal) postal address information
subtype: p3p#business.contact-info.postal.name__busines__name (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name)
subtype: p3p#business.contact-info.postal.name.prefix__busines__prefix (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name.prefix) name prefix
subtype: p3p#business.contact-info.postal.name.given__busines__given (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name.given) given name
subtype: p3p#business.contact-info.postal.name.middle__busines__middle (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name.middle) &&& seq? middle name
subtype: p3p#business.contact-info.postal.name.family__busines__family (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name.family) family name (last name)
subtype: p3p#business.contact-info.postal.name.suffix__busines__suffix (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name.suffix) name suffix
subtype: p3p#business.contact-info.postal.name.nickname__busines__nickname (p3p#StructuredDataElement,p3p#Business.contact-info.postal.name.nickname) nickname
subtype: p3p#business.contact-info.postal.street__busines__street (p3p#StructuredDataElement,p3p#Business.contact-info.postal.street) street address
subtype: p3p#business.contact-info.postal.city__busines__city (p3p#StructuredDataElement,p3p#Business.contact-info.postal.city) city
subtype: p3p#business.contact-info.postal.stateprov__busines__stateprov (p3p#StructuredDataElement,p3p#Business.contact-info.postal.stateprov) State or Province
subtype: p3p#business.contact-info.postal.postalcode__busines__postalcode (p3p#StructuredDataElement,p3p#Business.contact-info.postal.postalcode) Postal Code
subtype: p3p#business.contact-info.postal.organization__busines__organization (p3p#StructuredDataElement,p3p#Business.contact-info.postal.organization) organization name
subtype: p3p#business.contact-info.postal.country__busines__country (p3p#StructuredDataElement,p3p#Business.contact-info.postal.country) country name
subtype: p3p#business.contact-info.telecom__busines__telecom (p3p#StructuredDataElement,p3p#Business.contact-info.telecom) telecommunications address information
subtype: p3p#business.contact-info.telecom.telephone__busines__telephone (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.telephone) telephone number
subtype: p3p#business.contact-info.telecom.telephone.intcode__busines__intcode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.telephone.intcode) international telephone code
subtype: p3p#business.contact-info.telecom.telephone.loccode__busines__loccode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.telephone.loccode) local telephone area code
subtype: p3p#business.contact-info.telecom.telephone.number__busines__number (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.telephone.number) telephone number
subtype: p3p#business.contact-info.telecom.telephone.ext__busines__ext (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.telephone.ext) telephone extension
subtype: p3p#business.contact-info.telecom.telephone.comment__busines__comment (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.telephone.comment) telephone optional comments
subtype: p3p#business.contact-info.telecom.fax__busines__fax (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.fax) fax number
subtype: p3p#business.contact-info.telecom.fax.intcode__busines__intcode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.fax.intcode) international telephone code
subtype: p3p#business.contact-info.telecom.fax.loccode__busines__loccode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.fax.loccode) local telephone area code
subtype: p3p#business.contact-info.telecom.fax.number__busines__number (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.fax.number) telephone number
subtype: p3p#business.contact-info.telecom.fax.ext__busines__ext (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.fax.ext) telephone extension
subtype: p3p#business.contact-info.telecom.fax.comment__busines__comment (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.fax.comment) telephone optional comments
subtype: p3p#business.contact-info.telecom.mobile__busines__mobile (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.mobile) mobile telephone number
subtype: p3p#business.contact-info.telecom.mobile.intcode__busines__intcode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.mobile.intcode) international telephone code
subtype: p3p#business.contact-info.telecom.mobile.loccode__busines__loccode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.mobile.loccode) local telephone area code
subtype: p3p#business.contact-info.telecom.mobile.number__busines__number (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.mobile.number) telephone number
subtype: p3p#business.contact-info.telecom.mobile.ext__busines__ext (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.mobile.ext) telephone extension
subtype: p3p#business.contact-info.telecom.mobile.comment__busines__comment (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.mobile.comment) telephone optional comments
subtype: p3p#business.contact-info.telecom.pager__busines__pager (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.pager) pager number
subtype: p3p#business.contact-info.telecom.pager.intcode__busines__intcode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.pager.intcode) international telephone code
subtype: p3p#business.contact-info.telecom.pager.loccode__busines__loccode (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.pager.loccode) local telephone area code
subtype: p3p#business.contact-info.telecom.pager.number__busines__number (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.pager.number) telephone number
subtype: p3p#business.contact-info.telecom.pager.ext__busines__ext (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.pager.ext) telephone extension
subtype: p3p#business.contact-info.telecom.pager.comment__busines__comment (p3p#StructuredDataElement,p3p#Business.contact-info.telecom.pager.comment) telephone optional comments
subtype: p3p#business.contact-info.online__busines__online (p3p#StructuredDataElement,p3p#Business.contact-info.online) online address information
subtype: p3p#business.contact-info.online.email__busines__email (p3p#StructuredDataElement,p3p#Business.contact-info.online.email) email address
subtype: p3p#business.contact-info.online.uri__busines__uri (p3p#StructuredDataElement,p3p#Business.contact-info.online.uri) home page address
subtype: p3p#extends__extend (?,?)
subtype: p3p#relativeTo (p3p#RelativeClass,?) Defines what context the class is relative to
subtype: p3p#imageWidth__imagewidth (p3p#Image,rdfs#Literal) Width in pixels of the image
subtype: p3p#imageHeight (p3p#Image,rdfs#Literal) Height in pixels of the image
subtype: p3p#imageAltText (p3p#Image,rdfs#Literal) A very short text alternative to the image
subtype: p3p#image (?,p3p#Image) An image or logo associated with the subject
subtype: p3p#shortDescription__shortdescription (?,rdfs#Literal) A short human readable description of the subject
subtype: p3p#longDescription (?,rdfs#Literal) A human readable description of the subject
subtype: pm#Higgins_property (?,?)
subtype: pm#Higgins_annotation_property (?,?)
subtype: higgins#base (?,?)
subtype: higgins#fractionDigits (?,?)
subtype: higgins#length (?,?)
subtype: higgins#maxExclusive__maxexclusive (?,?)
subtype: higgins#maxInclusive__maxinclusive (?,?)
subtype: higgins#maxLength__maxlength (?,?)
subtype: higgins#minExclusive__minexclusive (?,?)
subtype: higgins#minInclusive__mininclusive (?,?)
subtype: higgins#minLength__minlength (?,?)
subtype: higgins#pattern (?,?)
subtype: higgins#totalDigits (?,?)
subtype: pm#Higgins_datatype_property (?,?)
subtype: higgins#simpleMetadata (higgins#Value,higgins#DigitalSubject) Used as the super-Property of some DatatypeProperties whose domain is higgins#ValeAndMetadata or higgins#DigitalSubject to indicate that these properties are considered to be metadata about the ValueAndMetadata (or DigitalSubject)
subtype: higgins#subjectId__subjectid (higgins#SubjectRelationship,xsd#normalizedString)
subtype: higgins#subjectCUID (higgins#SubjectRelationship,xsd#normalizedString)
subtype: higgins#validFrom__validfrom (higgins#TimeSpan,xsd#date)
subtype: higgins#validTo__validto (higgins#TimeSpan,xsd#date)
subtype: higgins#lastModified (higgins#Value,xsd#dateTime)
subtype: higgins#syncConflict (higgins#Value,xsd#boolean)
subtype: higgins#lastVerifiedFromSource (higgins#Value,xsd#date)
subtype: higgins#lastVerifyAttempt (higgins#Value,xsd#date)
subtype: higgins#creationTime (higgins#Value,xsd#date)
subtype: higgins#simpleValue (higgins#SimpleValue,higgins#DigitalSubject)
subtype: higgins#string (higgins#String,pm#string)
subtype: higgins#normalizedString (higgins#NormalizedString,xsd#normalizedString)
subtype: higgins#base64Binary (higgins#Base64Binary,xsd#base64Binary)
subtype: higgins#integer (higgins#Integer,sumo#integer)
subtype: higgins#dateTime (higgins#DateTime,xsd#dateTime)
subtype: higgins#boolean (higgins#Boolean,xsd#boolean)
subtype: higgins#decimal (higgins#Decimal,xsd#decimal)
subtype: higgins#nonNegativeInteger__nonnegativeinteger (higgins#NonNegativeInteger,sumo#nonnegative_integer)
subtype: higgins#positiveInteger (higgins#PositiveInteger,xsd#positiveInteger)
subtype: higgins#nonPositiveInteger__nonpositiveinteger (higgins#NonPositiveInteger,xsd#nonPositiveInteger)
subtype: higgins#negativeInteger (higgins#NegativeInteger,xsd#negativeInteger)
subtype: higgins#float (higgins#Float,xsd#float)
subtype: higgins#double (higgins#Double,xsd#double)
subtype: higgins#long (higgins#Long,xsd#long)
subtype: higgins#int (higgins#Int,xsd#int)
subtype: higgins#short (higgins#Short,xsd#short)
subtype: higgins#byte (higgins#Byte,xsd#byte)
subtype: higgins#unsignedInt (higgins#UnsignedInt,xsd#unsignedInt)
subtype: higgins#unsignedLong (higgins#UnsignedLong,xsd#unsignedLong)
subtype: higgins#unsignedShort (higgins#UnsignedShort,xsd#unsignedShort)
subtype: higgins#unsignedByte (higgins#UnsignedByte,xsd#unsignedByte)
subtype: higgins#hexBinary__hexbinary (higgins#HexBinary,xsd#hexBinary)
subtype: higgins#time (higgins#Time,xsd#time)
subtype: higgins#date (higgins#Date,xsd#date)
subtype: higgins#gYear__gyear (higgins#GYear,xsd#gYear)
subtype: higgins#gYearMonth__gyearmonth (higgins#GYearMonth,xsd#gYearMonth)
subtype: higgins#gMonthDay (higgins#GMonthDay,xsd#gMonthDay)
subtype: higgins#gDay__gday (higgins#GDay,xsd#gDay)
subtype: higgins#gMonth__gmonth (higgins#GMonth,xsd#gMonth)
subtype: higgins#anyURI (higgins#AnyURI,xsd#anyURI)
subtype: higgins#token (higgins#Token,xsd#token)
subtype: higgins#nMTOKEN (higgins#NMTOKEN,xsd#NMTOKEN)
subtype: higgins#language (higgins#Language,xsd#language)
subtype: higgins#name (higgins#Name,xsd#Name)
subtype: higgins#nCName (higgins#NCName,xsd#NCName)
subtype: pm#Higgins_object_property (?,?)
subtype: higgins#contextRelationship (higgins#ContextObject,higgins#ContextRelationship)
subtype: higgins#contextId__contextid (pm#Higgins_Relationship,higgins#ContextId)
subtype: higgins#contextURI (pm#Higgins_Relationship,higgins#ContextId)
subtype: higgins#attribute (pm#Higgins_ContextObject_or_DigitalSubject,pm#Higgins_Attribute_or_Value) Instances of this property are used to point to one or more values (i.e. cases where (i.e. cases where the range is higgins:Value). One instance (at most) may also be used to point to a holder of metadata (an instance of higgins:Attribute) about the entire set of values.
subtype: higgins#uniqueIdentifier (higgins#DigitalSubject -> higgins#String)
subtype: higgins#relation (pm#Higgins_ContextObject_or_DigitalSubject,higgins#SubjectRelationship) A directed relation between two Digital Subjects
subtype: higgins#correlation (pm#Higgins_ContextObject_or_DigitalSubject,higgins#SubjectRelationship) A directed relation between two Digital Subjects believed to represent the same underlying Entity
subtype: pwa#firstname (pwa#Person,higgins#NormalizedStringSimpleAttribute)
subtype: pwa#surname (pwa#Person,higgins#NormalizedStringSimpleAttribute)
subtype: pwa#postalAddress (pwa#Person,pwa#PostalAddress)
subtype: pwa#streetAddress (pwa#PostalAddress,higgins#String)
subtype: pwa#city (pwa#PostalAddress,higgins#String)
subtype: pwa#state (pm#Higgins_ContextObject_or_DigitalSubject,higgins#String)
subtype: pwa#postalCode (pwa#PostalAddress,higgins#String)
subtype: pwa#country (pwa#PostalAddress,higgins#String)
subtype: pwf#friend (higgins#DigitalSubject,higgins#SubjectRelationship)
subtype: higgins#complexMetadata__complexmetadata (pm#Higgins_DigitalSubject_or_Value,?) Used as the super-Property of some ObjectProperties of higgins:ValueAndMetadata or higgins:DigitalSubject to indicate that these properties are considered to be metadata about the ValueAndMetadata (or DigitalSubject)
subtype: higgins#source (higgins#Value,higgins#SubjectRelationship)
subtype: higgins#creator (higgins#Value,higgins#SubjectRelationship)
subtype: higgins#timeSpan (pm#Higgins_DigitalSubject_or_Value,higgins#TimeSpan)
subtype: 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#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)
subtype: pm#wh-/how_relation (*) this type permits to categorize relations according to the usual who/what/why/where/when/how questions ; this is a traditional but very subjective and ineffective way of categorizing relations
subtype: pm#who_relation__whorelation (*)
subtype: pm#agent__doer (pm#situation [48..*],pm#entity [49..*])
subtype: pm#initiator (pm#situation,pm#causal_entity)
subtype: pm#experiencer (pm#situation,pm#causal_entity)
subtype: pm#owner (?,pm#causal_entity) this is not a function: 0..N owner allowed
subtype: pm#generator (? -> pm#causal_entity)
subtype: pm#creator (pm#entity,pm#entity)
subtype: pm#what_relation (*)
subtype: pm#object/result (pm#situation,?)
subtype: pm#process_attribute__processattribute (pm#process,pm#process_attribute_or_quality_or_measure)
subtype: pm#mereological_relation (?,*)
subtype: pm#method (pm#process,pm#description)
subtype: pm#relation_from_collection (pm#collection,*)
subtype: pm#relation_to_collection (*,pm#collection)
subtype: pm#contextualizing_relation__contextualizingrelation (pm#description,*)
subtype: pm#why_relation__whyrelation (*)
subtype: pm#cause (pm#situation,pm#situation) see also rst#cause
subtype: pm#consequence (pm#situation,pm#situation) see also rst#effect
subtype: pm#method (pm#process,pm#description)
subtype: pm#goal (pm#process,pm#situation)
subtype: pm#triggering_event (pm#process,pm#event)
subtype: pm#ending_event (pm#process,pm#event)
subtype: pm#precondition (pm#process,pm#situation)
subtype: pm#postcondition (pm#process,pm#situation)
subtype: pm#purpose (?,?)
subtype: pm#where_relation__whererelation (*) where, from/to where, ...
subtype: pm#from/to (pm#situation,pm#entity)
subtype: pm#place (pm#situation -> pm#spatial_object)
subtype: pm#path_length (pm#process -> pm#spatial_attribute_or_quality_or_measure)
subtype: pm#within_group (pm#situation,pm#collection)
subtype: pm#relation_to_another_spatial_object (pm#spatial_object,pm#spatial_object)
subtype: pm#spatial_origin__spatialorigin (?,?)
subtype: pm#when_relation (?,?)
subtype: pm#relation_to_time (*,pm#time_measure)
subtype: pm#relation_from_situation_to_situation (pm#situation,pm#situation)
subtype: pm#temporal_relation (?,?)
subtype: pm#how_relation__howrelation (*)
subtype: pm#instrument (pm#situation,pm#entity)
subtype: pm#method (pm#process,pm#description)
subtype: pm#sub_process__subproces (pm#process,pm#process)
subtype: pm#how_much_relation (*)
subtype: pm#duration (pm#situation -> pm#time_measure)
subtype: pm#relation_to_attribute_or_quality_or_measure (*,pm#attribute_or_quality_or_measure)
subtype: pm#relation_from_collection_to_number (pm#collection -> sumo#number)
subtype: pm#relation_with_particular_property (*) this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
subtype: pm#relation_with_particular_mathematical_property (*)
subtype: pm#binary_relation_with_particular_mathematical_property (?,?)
subtype: pm#injective_binary_relation (?,?) if P is injective, then if P(x,y) and P(z,y) then x=z; e.g., if nameOfMonth(m,"Feb") and nameOfMonth(n,"Feb") then m and n are the same month; this category only serves structuration purposes: it is instance of pm#injective_binary_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: pm#trichotomizing_relation (?,?) this category only serves structuration purposes: it is instance of pm#trichotomizing_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: pm#trichotomizing_relation_on_real_number (sumo#quantity,sumo#quantity)
subtype: sumo#less_than (sumo#quantity,sumo#quantity)
subtype: sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
subtype: sumo#less_than_or_equal (sumo#quantity,sumo#quantity)
subtype: sumo#greater_than_or_equal (sumo#quantity,sumo#quantity)
subtype: pm#reflexive_relation__reflexiverelation (?,?) this category only serves structuration purposes: it is instance of pm#reflexive_relation_type which is not instance of pm#class_of_inheritable_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#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: 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: pm#specializing_type (pm#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: pm#part (?,?)
subtype: pm#wnMember (?,?) member relation in WordNet
subtype: pm#member (pm#collection,*)
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#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#overlaps_temporally (?,?)
subtype: sumo#connected (sumo#object,*)
subtype: sumo#overlaps_spatially (?,?)
subtype: pm#irreflexive_relation__irreflexiverelation (?,?) this category only serves structuration purposes: it is instance of pm#irreflexive_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: pm#asymmetric_relation (?,?) this category only serves structuration purposes: it is instance of pm#asymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: sumo#immediate_instance__immediateinstance (?,sumo#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
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: sumo#range (pm#function_type,sumo#set_or_class) gives the range of a function, i.e. all of the values assigned by the function are instances of sumo#class
subtype: sumo#range_subclass (pm#function_type,sumo#set_or_class) all of the values assigned by the function in the 1st argument are subclasses of the 2nd argment
subtype: sumo#valence (pm#relation_type,sumo#positive_integer) specifies the number of arguments that a relation can take; if a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of variable_arity_relation, e.g., sumo#holds is a variable_arity_relation
subtype: sumo#documentation (?,pm#string) a relation between objects in the domain of discourse and strings of natural language text; the domain of this relation is not constants (names), but the objects themselves; this means that one does not quote the names when associating them with their documentation
subtype: sumo#successor_attribute__successorattribute (sumo#Attribute,sumo#Attribute) the second argument is the attribute that comes immediately after the first on the scale that they share
subtype: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
subtype: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
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#contains (sumo#self_connected_object,sumo#object) the relation of spatial containment for two separable objects; when the two objects are not separable (e.g., an automobile and one of its seats), the relation of part should be used; (sumo#contains ?OBJ1 ?OBJ2) means that the self_connected_object ?OBJ1 has a space (i.e. a hole) which is at least partially filled by ?OBJ2
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
subtype: sumo#contains_information (sumo#content_bearing_object,sumo#proposition) relates a content_bearing_object to the proposition it expresses; examples include the relationships between a physical novel and its story and between a printed score and its musical content
subtype: sumo#leader__leader_of (sumo#human,dl#agentive_physical_object) (sumo#leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON
subtype: sumo#attribute (sumo#object,sumo#Attribute) the 2nd argument is an attribute of the 1st
subtype: sumo#manner (sumo#process,sumo#Attribute) the 1st argument is qualified by the 2nd (which is usually denoted by and adverb), e.g., the speed of the wind, the style of a dance, or the intensity of a sports competition
subtype: sumo#probability_fn__probabilityfn (sumo#formula -> sumo#real_number) one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
subtype: sumo#in_list (?,sumo#list) true if the 1st argument is in the list; analog of element and instance for lists
subtype: sumo#closed_on (pm#function_type,sumo#set_or_class) a binary_function is closed on a set_or_class if it is defined for all instances of the set_or_class and its value is always an instance of the set_or_class
subtype: sumo#reflexive_on__reflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is reflexive on a set_or_class only if every instance of the set_or_class bears the relation to itself
subtype: sumo#irreflexive_on__irreflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is irreflexive on a set_or_class only if no instance of the set_or_class bears the relation to itself
subtype: sumo#partial_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is a partial ordering on a set_or_class only if the relation is reflexive_on the set_or_class, and it is both an antisymmetric_relation, and a transitive_relation
subtype: sumo#total_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation ?REL is a total ordering on a set_or_class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the set_or_class
subtype: sumo#trichotomizing_on (pm#binary_relation_type,sumo#set_or_class)
subtype: sumo#equivalence_relation_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is an equivalence_relation_on a set_or_class only if the relation is reflexive_on the set_or_class and it is both a transitive_relation and a symmetric_relation
subtype: sumo#causes (sumo#process,sumo#process) the process in the 1st argument brings about the process in the 2nd argument
subtype: sumo#causes_subclass (pm#sumo_process_class,pm#sumo_process_class) the 1st argument brings about the 2nd, e.g., (causes_subclass killing death)
subtype: sumo#time (sumo#physical,sumo#time_position) means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
subtype: sumo#holds_during__holdsduring (sumo#time_position,sumo#formula) means that the proposition denoted by is true at (every temporal_part of) the time_position
subtype: sumo#exploits (sumo#object,dl#agentive_physical_object) the object is used by the agent as a resource in an unspecified instance of process
subtype: sumo#has_purpose__haspurpose (sumo#physical,sumo#formula) the instance of physical has, as its purpose, the proposition expressed by the formula; note that there is an important difference in meaning between the predicates has_purpose and result; although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired; for example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on
subtype: sumo#has_skill__hasskill (pm#sumo_process_class,dl#agentive_physical_object) similar to the capability predicate with the additional restriction that the ability be practised or demonstrated to some measurable degree
subtype: sumo#crosses__crosse (sumo#object,sumo#object) the 1st object traverses the second without being connected to it
subtype: sumo#penetrates (sumo#object,sumo#object) the 1st object is connected to the second along at least one whole dimension (length, width or depth)
subtype: sumo#possesses__possesse (dl#agentive_physical_object,sumo#object) the agent has ownership of the object
subtype: sumo#precondition (?,?)
subtype: sumo#realization (?,?)
subtype: sumo#expressed_in_language (?,?)
subtype: sumo#uses (?,?)
subtype: sumo#identity_element (?,?)
subtype: sumo#element (?,?)
subtype: sumo#cardinality_fn__cardinalityfn (?,?)
subtype: sumo#measure (?,?)
subtype: sumo#duration (?,?)
subtype: sumo#frequency (?,?)
subtype: sumo#meets_temporally__meetstemporally (?,?)
subtype: sumo#date (?,?)
subtype: sumo#surface (?,?)
subtype: sumo#interior_part (?,?)
subtype: sumo#hole (sumo#object,*)
subtype: sumo#hole_host_fn (sumo#object,*)
subtype: sumo#partially_fills__partiallyfill (sumo#object,*)
subtype: sumo#properly_fills (?,?)
subtype: sumo#completely_fills (?,?)
subtype: sumo#fills__fill (?,?)
subtype: sumo#hole_skin_fn (sumo#object,*)
subtype: sumo#geographic_subregion (?,?)
subtype: sumo#geopolitical_subdivision (?,?)
subtype: sumo#developmental_form__developmentalform (?,?)
subtype: sumo#inhabits (?,?)
subtype: sumo#authors__author (?,?)
subtype: sumo#editor (?,?)
subtype: sumo#publishes__publishe (?,?)
subtype: sumo#version (?,?)
subtype: sumo#parent (?,?)
subtype: sumo#husband (?,?)
subtype: sumo#wife (?,?)
subtype: sumo#citizen (?,?)
subtype: sumo#modal_attribute__modalattribute (?,?)
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: pm#different__different_from__differentfrom (?,?)
subtype: owl#different_from__differentfrom (?,?)
subtype: pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class) the 2 classes have no common subtype/instance; in WebKB, use the link '!'
subtype: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
subtype: sumo#less_than (sumo#quantity,sumo#quantity)
subtype: sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
subtype: sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is more likely to be true if the 1st is true
subtype: sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is less likely to be true if the 1st is true
subtype: sumo#inhibits (?,?)
subtype: sumo#prevents (?,?)
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#meets_spatially__meetsspatially (?,?)
subtype: sumo#overlaps_partially (?,?)
subtype: sumo#superficial_part__superficialpart (?,?)
subtype: sumo#connected_engineering_components (?,?)
subtype: sumo#ancestor (?,?)
subtype: sumo#sibling (?,?)
subtype: sumo#brother (?,?)
subtype: sumo#sister (?,?)
subtype: sumo#spouse (?,?)
subtype: pm#symmetric_relation__symmetricrelation (?,?) this category only serves structuration purposes: it is instance of pm#symmetric_relation_type which is not instance of pm#class_of_inheritable_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#different__different_from__differentfrom (?,?)
subtype: sumo#independent_probability__independentprobability (sumo#formula,sumo#formula) the probabilities of the formulas being true are independent
subtype: sumo#overlaps_temporally (?,?)
subtype: sumo#connected (sumo#object,*)
subtype: sumo#meets_spatially__meetsspatially (?,?)
subtype: sumo#overlaps_spatially (?,?)
subtype: sumo#overlaps_partially (?,?)
subtype: sumo#connected_engineering_components (?,?)
subtype: sumo#sibling (?,?)
subtype: sumo#legal_relation__legalrelation (?,?)
subtype: sumo#spouse (?,?)
subtype: sumo#consistent (?,?)
subtype: pm#antisymmetric_relation__antisymmetricrelation (?,?) this category only serves structuration purposes: it is instance of pm#antisymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: pm#asymmetric_relation (?,?) this category only serves structuration purposes: it is instance of pm#asymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
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#different__different_from__differentfrom (?,?)
subtype: sumo#partly_located__partly_located_at (sumo#physical,sumo#object) the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
subtype: 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
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#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: 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#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
subtype: pm#intransitive_relation (?,?) this category only serves structuration purposes: it is instance of pm#intransitive_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
subtype: sumo#immediate_instance__immediateinstance (?,sumo#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
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: 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
subtype: sumo#penetrates (sumo#object,sumo#object) the 1st object is connected to the second along at least one whole dimension (length, width or depth)
subtype: sumo#element (?,?)
subtype: sumo#meets_temporally__meetstemporally (?,?)
subtype: sumo#parent (?,?)
subtype: pm#binary_relation (?,?) 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: pm#unary_function__unaryfunction (? -> ?) function that requires a single argument; currently not specialized by the SUMO ternary relations since this seems useless (for now)
subtype: dc#Relation (?,?) to specify a reference to a related resource; in WebKB, pm#relation or MORE PRECISE RELATION TYPES SHOULD BE USED INSTEAD
subtype: sumo#refers (?,?) the 1st argument mentions or includes a reference to the 2nd argument, e.g., an article whose topic is a recent change in the price of oil may refer to many other things, e.g., the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.
subtype: sumo#names__name (pm#string,?) the string names the 2nd argument
subtype: sumo#represents (?,?) the 1st argument in some way indicates, expresses, connotes, pictures, describes ... the 2nd argument
subtype: sumo#contains_information (sumo#content_bearing_object,sumo#proposition) relates a content_bearing_object to the proposition it expresses; examples include the relationships between a physical novel and its story and between a printed score and its musical content
subtype: sumo#realization (?,?)
subtype: rdfs#see_also__seealso (?,pm#entity)
subtype: rdfs#is_defined_by (?,pm#entity) in WebKB, pm#definition SHOULD BE USED INSTEAD
subtype: pm#definition (?,pm#description_content/medium/container) see also #definition
subtype: rst#definition (pm#description_content/medium/container,pm#description_content/medium/container) a logical relation should be used instead of this relation
subtype: owl#imports__import (?,pm#entity) if imports(X,Y) and you believe X, then you should believe what is in Y
subtype: dc#Type (?,pm#entity) to specify the nature or genre of the content of a resource; SHOULD NOT BE USED IN WEBKB
subtype: sumo#instance (?,sumo#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: pm#kind__type___class___instance_of__instanceof (?,rdfs#class) the '^' link in the FT notation
subtype: sumo#immediate_instance__immediateinstance (?,sumo#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
subtype: dc#Description (?,pm#entity) to specify an account of the content of a resource; in WebKB, pm#topic or pmdescr SHOULD BE USED INSTEAD
subtype: pm#topic (?,pm#entity)
subtype: pm#annotation (?,pm#description_content/medium/container)
subtype: pm#descr (?,pm#description_content/medium/container) for connecting an object to a formal representation of it, e.g., a representation written with a fcg
subtype: dc#Subject (pm#description,pm#entity) to specify 1 or several topics; in WebKB, pm#descr SHOULD BE USED INSTEAD
subtype: pm#origin (?,pm#description_content/medium/container)
subtype: pm#use (?,pm#description_content/medium/container)
subtype: pm#advantage (?,pm#description_content/medium/container)
subtype: pm#disadvantage (?,pm#description_content/medium/container)
subtype: pm#definition (?,pm#description_content/medium/container) see also #definition
subtype: pm#role (?,pm#description_content/medium/container)
subtype: pm#requirement (?,pm#description_content/medium/container)
subtype: pm#issue (?,pm#description_content/medium/container)
subtype: pm#trap (?,pm#description_content/medium/container)
subtype: pm#url (?,pm#URL)
subtype: pm#file_or_file_element (?,pm#description_container)
subtype: pm#file (?,pm#document_element)
subtype: pm#home_page (?,pm#document_element)
subtype: pm#file_element (?,pm#document_element)
subtype: pm#descr_in__descrin (?,pm#description_container) when a thing t has a description stored in a description container dc, there is a relation pm#descr_in from t to dc
subtype: pm#descr_container__description_support___descr_support (pm#description,pm#description_container) permits to associate a statement with an object on which it is represented
subtype: owl#version_info__versioninfo (? -> pm#entity) generally, a string giving information about this version; e.g., RCS/CVS keywords
subtype: pm#title (? -> pm#string) for connecting an object to its "title" in a natural language
subtype: rdfs#comment for connecting an object to an informal representation of it, typically a node with a string inside; in WebKB, the FT and FCG notations permit to avoid using this relation type
subtype: pm#relation_from_or_to_WordNet_type (*)
subtype: pm#menu (pm#meal_shop,#food_or_beverage)
subtype: nsm#before (?,?)
subtype: pm#before (pm#time_measure,pm#time_measure)
subtype: pm#before_time (pm#situation,pm#time_measure)
subtype: pm#later_situation__latersituation (pm#situation,pm#situation)
subtype: nsm#after (?,?)
subtype: pm#after (pm#time_measure,pm#time_measure)
subtype: pm#until_time__untiltime__to_time (pm#situation -> pm#time_measure)
subtype: pm#before_situation (pm#situation,pm#situation) in WebKB, do not use these relations, use their inverses
subtype: pm#ternary_relation__ternaryrelation__ternary_only_relation (?,?,?) relation with a fixed arity equal to 3; specialized by the SUMO ternary relations not categorized elsewhere
subtype: pm#binary_function (?,? -> ?) function that requires two arguments; currently not specialized by the SUMO ternary relations since this seems useless (for now)
subtype: sumo#confers_norm__confersnorm (pm#thing,sumo#formula,sumo#objective_norm) the 1st argument brings it about that the formula has the objective_norm
subtype: sumo#deprives_norm (pm#thing,sumo#formula,sumo#objective_norm) the 1st argument brings it about that the formula does not have the objective_norm
subtype: pm#quaternary_relation__quaternary_only_relation (?,?,?) relation with a fixed arity equal to 4
subtype: kif#subst (?,?,? -> ?)
subtype: pm#relation_with_variable_arity (*) this category only serves structuration purposes: it is instance of pm#variable_arity_relation_type which is not instance of pm#class_of_inheritable_relation_type; currently not specialized by the SUMO ternary relations since this seems useless (for now)
subtype: pm#relation_using_a_world_as_argument (dolce#world,*)
subtype: pm#relation_from_a_world (dolce#world,*)
subtype: pm#concept_in_Dolce_Full (dolce#world,?)
subtype: dolce#non-empty_universal__NEP (dolce#world,dolce#universal)
subtype: pm#relation_in_Dolce_Full (dolce#world,*)
subtype: dolce#wldr__WLDR (dolce#world,dolce#world)
subtype: dolce#constitution__K (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: pm#participant_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
subtype: dolce#participant__PC (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: dolce#total_participant__totalparticipant__PC.T (dolce#world,dolce#particular,dolce#particular)
subtype: dolce#temporary_total_participant__temporarytotalparticipant__PC.t (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: dolce#constant_participant (dolce#world,dolce#particular,dolce#particular+)
subtype: dolce#maximal_participant__maximalparticipant__mpc (dolce#world,dolce#particular,dolce#particular)
subtype: dolce#maximal_physical_participant__mppc (dolce#world,dolce#particular,dolce#particular)
subtype: pm#part_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
subtype: pm#quality_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
subtype: dolce#qt__quality (dolce#world,dolce#particular,dolce#particular)
subtype: dolce#direct_quality__dqt (dolce#world,dolce#particular,dolce#particular)
subtype: pm#quale_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
subtype: dolce#ql__quale (dolce#world,dolce#particular,dolce#particular)
subtype: dolce#temporary_quale__temporaryquale__ql (dolce#world,dolce#particular,dolce#particular,dolce#particular)
subtype: lis#relationship (?,?) indicates something that one thing has to do with another; click here for details
subtype: lis#composition_of_individual (lis#possible_individual,lis#possible_individual) click here for details
subtype: lis#arrangement_of_individual (lis#possible_individual,lis#arranged_individual [49..*]) click here for details
subtype: lis#assembly_of_individual (lis#possible_individual,lis#arranged_individual)
subtype: lis#feature_whole_part__featurewholepart (lis#possible_individual,lis#arranged_individual)
subtype: lis#temporal_whole_part (lis#possible_individual,lis#possible_individual)
subtype: lis#participation (lis#possible_individual,lis#activity [49..*]) click here for details
subtype: lis#temporal_bounding (lis#event [49..*],lis#possible_individual) click here for details
subtype: lis#ending (lis#event,lis#possible_individual)
subtype: lis#beginning (lis#event,lis#possible_individual)
subtype: lis#cause_of_event (lis#event [49..*],lis#activity [49..*]) click here for details
subtype: lis#relative_location (lis#possible_individual [49..*],lis#possible_individual) indicates that the position of one possible_individual is relative to another; click here for details
subtype: lis#connection_of_individual (lis#possible_individual [49..*],lis#possible_individual) click here for details
subtype: lis#direct_connection (lis#possible_individual,lis#possible_individual)
subtype: lis#indirect_connection (lis#possible_individual,lis#possible_individual)
subtype: lis#individual_used_in_connection (lis#connection_of_individual,lis#possible_individual [49..*]) click here for details
subtype: lis#lifecycle_stage (?,?)
subtype: lis#involvement_by_reference (lis#thing,lis#activity [49..*]) click here for details
subtype: lis#specialization (lis#class,lis#class) click here for details
subtype: lis#specialization_by_domain (lis#role_and_domain,lis#class) click here for details
subtype: lis#specialization_by_role (lis#role_and_domain,lis#role) click here for details
subtype: lis#boundary_of_property_space (lis#property_space,lis#property_space) click here for details
subtype: lis#specialization_of_individual_dimension_from_property (lis#individual_dimension,lis#property) click here for details
subtype: lis#boundary_of_number_space (lis#number_space,lis#number_space) click here for details
subtype: lis#other_relationship__otherrelationship (?,?)
subtype: lis#classification (?,?)
subtype: lis#class_of_relationship_with_signature (lis#role_and_domain,lis#role_and_domain) click here for details
subtype: lis#intended_role_and_domain (lis#role_and_domain,lis#possible_individual) click here for details
subtype: lis#possible_role_and_domain (lis#role_and_domain,lis#possible_individual) click here for details
subtype: lis#representation_of_thing (lis#thing,lis#possible_individual) click here for details
subtype: lis#usage_of_representation (lis#representation_of_thing,lis#possible_individual) click here for details
subtype: lis#responsibility_for_representation (lis#representation_of_thing,lis#possible_individual) click here for details
subtype: lis#approval (lis#relationship,lis#possible_individual) click here for details
subtype: lis#comparison_of_property (lis#property,lis#property) click here for details
subtype: lis#functional_mapping (lis#thing,lis#thing) click here for details
subtype: lis#recognition (lis#thing,lis#activity) click here for details
subtype: lis#indirect_property (lis#possible_individual,lis#property) click here for details
subtype: lis#temporal_sequence (lis#possible_individual,lis#possible_individual) click here for details
subtype: lis#class_of_relationship (*) click here for details
subtype: lis#class_of_composition_of_individual (lis#class_of_individual,lis#class_of_individual) click here for details
subtype: lis#class_of_arrangement_of_individual (lis#class_of_individual,lis#class_of_arranged_individual) click here for details
subtype: lis#class_of_feature_whole_part (lis#class_of_individual,lis#class_of_arranged_individual)
subtype: lis#class_of_assembly_of_individual (lis#class_of_individual,lis#class_of_arranged_individual)
subtype: lis#namespace (lis#class_of_information_representation,lis#class_of_information_representation) click here for details
subtype: lis#right_namespace (lis#class_of_information_representation,lis#class_of_information_representation)
subtype: lis#left_namespace (lis#class_of_information_representation,lis#class_of_information_representation)
subtype: lis#class_of_temporal_whole_part (lis#class_of_individual,lis#class_of_individual)
subtype: lis#class_of_participation (lis#participating_role_and_domain,lis#class_of_activity) click here for details
subtype: lis#class_of_connection_of_individual (lis#class_of_individual,lis#class_of_individual) click here for details
subtype: lis#class_of_direct_connection (lis#class_of_individual,lis#class_of_individual)
subtype: lis#class_of_indirect_connection (lis#class_of_individual,lis#class_of_individual)
subtype: lis#class_of_classification (lis#class,lis#class_of_class) click here for details
subtype: lis#class_of_representation_translation (lis#class_of_information_representation,lis#class_of_information_representation) click here for details
subtype: lis#class_of_usage_of_representation (lis#class_of_representation_of_thing,lis#possible_individual) click here for details
subtype: lis#class_of_responsibility_for_representation (lis#class_of_representation_of_thing,lis#possible_individual) click here for details
subtype: lis#class_of_lifecycle_stage (*)
subtype: lis#class_of_assertion (*)
subtype: lis#class_of_individual_used_in_connection (lis#class_of_connection_of_individual,lis#class_of_individual) click here for details
subtype: lis#class_of_approval (lis#class_of_relationship,lis#class_of_individual) click here for details
subtype: lis#class_of_possible_role_and_domain (lis#class_of_individual,lis#role_and_domain) click here for details
subtype: lis#class_of_involvement_by_reference (lis#role_and_domain,lis#class_of_activity) click here for details
subtype: lis#class_of_relationship_with_signature (lis#role_and_domain,lis#role_and_domain) click here for details
subtype: lis#class_of_specialization__classofspecialization (lis#class_of_class,lis#class_of_class) click here for details
subtype: lis#class_of_intended_role_and_domain (lis#class_of_individual,lis#role_and_domain) click here for details
subtype: lis#class_of_approval_by_status (*)
subtype: lis#class_of_representation_of_thing (lis#class_of_information_representation,lis#thing) click here for details
subtype: lis#class_of_relative_location (lis#class_of_individual,lis#class_of_individual) click here for details
subtype: lis#class_of_functional_mapping (lis#class,lis#class) click here for details
subtype: lis#class_of_recognition (lis#class,lis#class_of_activity) click here for details
subtype: lis#class_of_indirect_property (lis#class_of_individual,lis#property_space) click here for details
subtype: lis#class_of_cause_of_beginning_of_class_of_individual (lis#class_of_individual,lis#class_of_activity) click here for details
subtype: lis#dimension_of_individual (lis#possible_individual,lis#individual_dimension) click here for details
subtype: lis#property_for_shape_dimension (lis#property,lis#shape_dimension) click here for details
subtype: lis#class_of_temporal_sequence (lis#class_of_individual,lis#class_of_individual) click here for details
subtype: lis#class_of_cause_of_ending_of_class_of_individual (lis#class_of_activity,lis#class_of_individual) click here for details
subtype: lis#class_of_relationship_with_related_end_1 (lis#thing) click here for details
subtype: lis#class_of_relationship_with_related_end_2 (lis#thing) click here for details
subtype: lis#class_of_class_of_relationship (?,?) click here for details
subtype: lis#class_of_class_of_usage_of_representation (lis#class_of_class_of_representation,lis#possible_individual) click here for details
subtype: lis#class_of_class_of_responsibility_for_representation (lis#class_of_class_of_representation,lis#possible_individual) click here for details
subtype: lis#class_of_class_of_representation_translation (lis#class_of_class_of_representation,lis#class_of_class_of_representation) click here for details
subtype: lis#class_of_class_of_relationship_with_signature (?,?)
subtype: lis#class_of_class_of_representation (lis#class_of_class_of_representation,lis#class) click here for details
subtype: lis#class_of_dimension_for_shape (lis#class_of_shape_dimension,lis#class_of_shape) click here for details
subtype: lis#class_of_class_of_composition (lis#class_of_class_of_individual,lis#class_of_class_of_individual) click here for details
subtype: lis#property_space_for_class_of_shape_dimension (lis#class_of_shape_dimension,lis#property_space) click here for details
subtype: lis#class_of_scale (?,?)
subtype: lis#class_of_namespace (lis#class_of_class_of_information_representation,lis#class_of_information_representation) click here for details
subtype: lis#dimension_of_shape (lis#shape_dimension,lis#shape) click here for details
subtype: pm#predicate_type__predicatetype a sentence-forming relation with each tuple being a finite, ordered sequence of objects
instance: sumo#disjoint_relation (pm#relation_type+) (sumo#disjointRelation @ROW) means that any two relations in @ROW have no tuples in common; as a consequence, the intersection of all of the relations in @ROW is the null set
instance: sumo#contrary_attribute (pm#attribute_class,pm#attribute_class+) set of attributes such that something can not simultaneously have more than one of these attributes, e.g., in KIF, (sumo#contrary_aAttribute sumo#pliable sumo#rigid) means that nothing can be both pliable and rigid
instance: sumo#exhaustive_attribute (pm#attribute_class,pm#attribute_class+) this predicate relates a class to several types of attributes, and it means that the elements of this set exhaust the instances of the class; for example, in KIF, (sumo#exhaustiveAttribute sumo#physicalState sumo#solid sumo#fluid sumo#liquid sumo#gas) means that there are only three instances of the class sumo#physicalState, viz. sumo#solid, sumo#fluid, sumo#liquid, and sumo#gas
instance: sumo#exhaustive_decomposition (sumo#class,sumo#class+) an exhaustive_decomposition of a class C is a set of subclasses of C such that every instance of C is an instance of one of the subclasses in the set; note: this does not necessarily mean that the elements of the set are disjoint (see sumo#partition - a partition is a disjoint exhaustive decomposition)
instance: sumo#disjoint_decomposition (sumo#class,sumo#class+) a disjoint_decomposition of a class C is a set of mutually disjoint subclasses of C
instance: sumo#partition (sumo#class,sumo#class+) a partition of a class C is a set of mutually disjoint classes (a subclass partition) covering C; each instance of C is instance of exactly one of the subclasses in the partition
instance: sumo#holds__hold (pm#relation_type,*) (holds P N1 ... NK) is true when the tuple of objects denoted by N1,..., NK is an element of the relation P
subtype: pm#binary_predicate_type the class of predicates relating two items - its valence is two
instance: sumo#instance (?,sumo#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
instance: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
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: pm#equal (?,?) "=" in KIF; true if the 1st argument is identical to the 2nd
instance: sumo#range (pm#function_type,sumo#set_or_class) gives the range of a function, i.e. all of the values assigned by the function are instances of sumo#class
instance: sumo#range_subclass (pm#function_type,sumo#set_or_class) all of the values assigned by the function in the 1st argument are subclasses of the 2nd argment
instance: sumo#valence (pm#relation_type,sumo#positive_integer) specifies the number of arguments that a relation can take; if a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of variable_arity_relation, e.g., sumo#holds is a variable_arity_relation
instance: sumo#documentation (?,pm#string) a relation between objects in the domain of discourse and strings of natural language text; the domain of this relation is not constants (names), but the objects themselves; this means that one does not quote the names when associating them with their documentation
instance: sumo#disjoint (sumo#set_or_class,sumo#set_or_class) classes are exclusive/disjoint only if they share no instance (and hence no subtype), i.e. just in case the result of applying sumo#intersection_fn to them is empty
instance: 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
instance: sumo#sub_attribute__subattribute (sumo#Attribute,sumo#Attribute) the second argument can be ascribed to everything which has the first argument ascribed to it
instance: sumo#successor_attribute__successorattribute (sumo#Attribute,sumo#Attribute) the second argument is the attribute that comes immediately after the first on the scale that they share
instance: 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
instance: sumo#entails__entail (sumo#formula,sumo#formula) the second argument is logically entailed from the first by means of the proof theory of SUO-KIF
instance: sumo#material__material_type_of (pm#substance_class,sumo#corpuscular_object) all other mereological relations are defined in terms of this one; it means that the 2nd argument is structurally made up in part of the 1st argument; this relation encompasses the concepts of 'composed of', 'made of', and 'formed of'; for example, plastic is a material of my computer monitor; since part is a reflexive_relation, every object is a part of itself
instance: sumo#sub_collection__subcollection__sub_collection_of (sumo#collection,sumo#collection) the 1st collection is a proper part of the 2nd
instance: sumo#contains_information (sumo#content_bearing_object,sumo#proposition) relates a content_bearing_object to the proposition it expresses; examples include the relationships between a physical novel and its story and between a printed score and its musical content
instance: sumo#leader__leader_of (sumo#human,dl#agentive_physical_object) (sumo#leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON
instance: sumo#property (?,sumo#Attribute)
instance: sumo#less_than (sumo#quantity,sumo#quantity)
instance: sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
instance: sumo#less_than_or_equal_to (?,?)
instance: sumo#greater_than_or_equal_to (?,?)
instance: sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is more likely to be true if the 1st is true
instance: sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is less likely to be true if the 1st is true
instance: sumo#independent_probability__independentprobability (sumo#formula,sumo#formula) the probabilities of the formulas being true are independent
instance: sumo#in_scope_of_interest (sumo#cognitive_agent,?) the 2nd argument is within the scope of interest of the agent; the interest indicated can be either positive or negative
instance: sumo#in_list (?,sumo#list) true if the 1st argument is in the list; analog of element and instance for lists
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__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
instance: sumo#closed_on (pm#function_type,sumo#set_or_class) a binary_function is closed on a set_or_class if it is defined for all instances of the set_or_class and its value is always an instance of the set_or_class
instance: sumo#reflexive_on__reflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is reflexive on a set_or_class only if every instance of the set_or_class bears the relation to itself
instance: sumo#irreflexive_on__irreflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is irreflexive on a set_or_class only if no instance of the set_or_class bears the relation to itself
instance: sumo#partial_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is a partial ordering on a set_or_class only if the relation is reflexive_on the set_or_class, and it is both an antisymmetric_relation, and a transitive_relation
instance: sumo#total_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation ?REL is a total ordering on a set_or_class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the set_or_class
instance: sumo#trichotomizing_on (pm#binary_relation_type,sumo#set_or_class)
instance: sumo#equivalence_relation_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is an equivalence_relation_on a set_or_class only if the relation is reflexive_on the set_or_class and it is both a transitive_relation and a symmetric_relation
instance: sumo#distributes__distribute (pm#binary_function_type,pm#binary_function_type) a binary_function ?F1 is distributive over another binary_function ?F2 just in case (?F1 ?INST1 (?F2 ?INST2 ?INST3)) is equal to (?F2 (?F1 ?INST1 ?INST2) (?F1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3
instance: sumo#causes (sumo#process,sumo#process) the process in the 1st argument brings about the process in the 2nd argument
instance: sumo#causes_subclass (pm#sumo_process_class,pm#sumo_process_class) the 1st argument brings about the 2nd, e.g., (causes_subclass killing death)
instance: 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
instance: sumo#time (sumo#physical,sumo#time_position) means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
instance: sumo#holds_during__holdsduring (sumo#time_position,sumo#formula) means that the proposition denoted by is true at (every temporal_part of) the time_position
instance: sumo#exploits (sumo#object,dl#agentive_physical_object) the object is used by the agent as a resource in an unspecified instance of process
instance: sumo#has_purpose__haspurpose (sumo#physical,sumo#formula) the instance of physical has, as its purpose, the proposition expressed by the formula; note that there is an important difference in meaning between the predicates has_purpose and result; although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired; for example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on
instance: sumo#has_skill__hasskill (pm#sumo_process_class,dl#agentive_physical_object) similar to the capability predicate with the additional restriction that the ability be practised or demonstrated to some measurable degree
instance: sumo#partly_located__partly_located_at (sumo#physical,sumo#object) the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
instance: sumo#traverses__traverse (sumo#object,sumo#object) the first object crosses or extends across the second; note that crosses and penetrates are subrelations of traverses
instance: sumo#possesses__possesse (dl#agentive_physical_object,sumo#object) the agent has ownership of the object
instance: sumo#precondition (?,?)
instance: sumo#inhibits (?,?)
instance: sumo#prevents (?,?)
instance: sumo#refers (?,?) the 1st argument mentions or includes a reference to the 2nd argument, e.g., an article whose topic is a recent change in the price of oil may refer to many other things, e.g., the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.
instance: sumo#subsumes_content_class (?,?)
instance: sumo#subsumes_content_instance (?,?)
instance: sumo#expressed_in_language (?,?)
instance: sumo#sub_proposition__subproposition (?,?)
instance: sumo#uses (?,?)
instance: sumo#identity_element (?,?)
instance: sumo#element (?,?)
instance: sumo#measure (?,?)
instance: sumo#larger (sumo#object,*)
instance: sumo#smaller (sumo#object,*)
instance: sumo#duration (?,?)
instance: sumo#frequency (?,?)
instance: sumo#temporal_part (?,?)
instance: sumo#before_or_equal (?,?)
instance: sumo#overlaps_temporally (?,?)
instance: sumo#meets_temporally__meetstemporally (?,?)
instance: sumo#earlier (?,?)
instance: sumo#cooccur (?,?)
instance: sumo#date (?,?)
instance: sumo#connected (sumo#object,*)
instance: sumo#hole (sumo#object,*)
instance: sumo#sub_process__subproces (?,?)
instance: sumo#transaction_amount__transactionamount ()
instance: sumo#geographic_subregion (?,?)
instance: sumo#developmental_form__developmentalform (?,?)
instance: sumo#inhabits (?,?)
instance: sumo#authors__author (?,?)
instance: sumo#editor (?,?)
instance: sumo#publishes__publishe (?,?)
instance: sumo#version (?,?)
instance: sumo#wears__wear ()
instance: sumo#family_relation (?,?)
instance: sumo#parent (?,?)
instance: sumo#sibling (?,?)
instance: sumo#legal_relation__legalrelation (?,?)
instance: sumo#employs__employ ()
instance: sumo#citizen (?,?)
instance: sumo#premise ()
instance: sumo#conclusion ()
instance: sumo#consistent (?,?)
instance: sumo#faces__face ()
instance: sumo#modal_attribute__modalattribute (?,?)
instance: sumo#geometric_part__geometricpart (?,?)
instance: sumo#parallel ()
instance: sumo#angular_measure__angularmeasure ()
instance: sumo#line_measure ()
subtype: pm#case_relation_type the class of predicates relating the spatially distinguished parts of a process. e.g., the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain
instance: pm#doer/object/result/place (pm#situation,?)
instance: pm#experiencer (pm#situation,pm#causal_entity)
instance: sumo#exploits (sumo#object,dl#agentive_physical_object) the object is used by the agent as a resource in an unspecified instance of process
instance: sumo#agent (sumo#process,dl#agentive_physical_object) the 2nd argument is an active determinant, animate or inanimate, of the process
instance: sumo#destination__to (sumo#process,pm#entity) the 2nd parameter is the target or goal of the process; for example, Danbury would be the destination in 'Bob went to Danbury'; this is a very general case_role which, in particular, that it covers the concepts of 'recipient' and 'beneficiary'; thus, John would be the destination in 'Tom gave a book to John'
instance: sumo#experiencer (sumo#process,dl#agentive_physical_object) e.g., Yojo is the experiencer of seeing in 'Yojo sees the fish'; unlike agent, this relation does not entail a causal relation between the arguments
instance: sumo#origin__from (sumo#process,sumo#object) the 2nd argument (which must be present at least at the beginning of the process) indicates where the process began; for example, the submarine is the origin in 'the missile was launched from a submarine'
instance: sumo#patient (sumo#process,?) the 2nd argument may be moved, said, experienced, etc; the direct objects in 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients; the patient of a process may or may not undergo structural change as a result of the process
instance: sumo#path ()
instance: sumo#direction ()
instance: pm#doer/object/result/place pm#experiencer sumo#exploits sumo#agent sumo#destination__to sumo#experiencer sumo#origin__from sumo#patient sumo#path sumo#direction
instance: sumo#instance pm#inverse__reverse sumo#subclass__subclass_of sumo#subrelation pm#equal sumo#range sumo#range_subclass sumo#valence sumo#documentation sumo#disjoint sumo#related_internal_concept sumo#sub_attribute__subattribute sumo#successor_attribute__successorattribute sumo#successor_attribute_closure__successorattributeclosure sumo#entails__entail sumo#material__material_type_of sumo#sub_collection__subcollection__sub_collection_of sumo#contains_information sumo#leader__leader_of sumo#property sumo#less_than sumo#greater_than__greaterthan sumo#less_than_or_equal_to sumo#greater_than_or_equal_to sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of sumo#independent_probability__independentprobability sumo#in_scope_of_interest sumo#in_list sumo#sub_list__sublist__sub_list_of sumo#initial_list__initiallist sumo#closed_on sumo#reflexive_on__reflexiveon sumo#irreflexive_on__irreflexiveon sumo#partial_ordering_on sumo#total_ordering_on sumo#trichotomizing_on sumo#equivalence_relation_on sumo#distributes__distribute sumo#causes sumo#causes_subclass sumo#copy sumo#time sumo#holds_during__holdsduring sumo#exploits sumo#has_purpose__haspurpose sumo#has_skill__hasskill sumo#partly_located__partly_located_at sumo#traverses__traverse sumo#possesses__possesse sumo#precondition sumo#inhibits sumo#prevents sumo#refers sumo#subsumes_content_class sumo#subsumes_content_instance sumo#expressed_in_language sumo#sub_proposition__subproposition sumo#uses sumo#identity_element sumo#element sumo#measure sumo#larger sumo#smaller sumo#duration sumo#frequency sumo#temporal_part sumo#before_or_equal sumo#overlaps_temporally sumo#meets_temporally__meetstemporally sumo#earlier sumo#cooccur sumo#date sumo#connected sumo#hole sumo#sub_process__subproces sumo#transaction_amount__transactionamount sumo#geographic_subregion sumo#developmental_form__developmentalform sumo#inhabits sumo#authors__author sumo#editor sumo#publishes__publishe sumo#version sumo#wears__wear sumo#family_relation sumo#parent sumo#sibling sumo#legal_relation__legalrelation sumo#employs__employ sumo#citizen sumo#premise sumo#conclusion sumo#consistent sumo#faces__face sumo#modal_attribute__modalattribute sumo#geometric_part__geometricpart sumo#parallel sumo#angular_measure__angularmeasure sumo#line_measure
subtype: pm#ternary_predicate_type__ternarypredicatetype class of predicates that require exactly three arguments
instance: sumo#domain (pm#relation_type,sumo#positive_integer,sumo#set_or_class) the formula (sumo#domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS
instance: sumo#domain_subclass (pm#relation_type,sumo#positive_integer,sumo#set_or_class) the formula (sumo#domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS
instance: sumo#related_external_concept (pm#string,?,sumo#language) used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source
instance: sumo#conditional_probability__conditionalprobability (sumo#formula,sumo#formula,sumo#real_number) the probability of 'the 2nd formula being true given that the 1st formula is true' is the number given as 3rd parameter
instance: sumo#prefers__prefer (sumo#cognitive_agent,sumo#formula,sumo#formula) the cognitive_agent prefers the state of affairs expressed by the 1st formula over the state of affairs expressed by the 2nd formula, all things being equal
instance: sumo#capability (pm#sumo_process_class,pm#case_relation_type,sumo#object) the object has the ability to play the role (case relation) in the given kinds of processes
instance: sumo#has_purpose_for_agent__haspurposeforagent (sumo#physical,sumo#formula,sumo#cognitive_agent) the purpose of the physical thing for the agent is the proposition expressed by the formula; very complex issues are involved here; in particular, the rules of inference of the first order predicate calculus are not truth-preserving for the formula
instance: sumo#confers_norm__confersnorm (pm#thing,sumo#formula,sumo#objective_norm) the 1st argument brings it about that the formula has the objective_norm
instance: sumo#deprives_norm (pm#thing,sumo#formula,sumo#objective_norm) the 1st argument brings it about that the formula does not have the objective_norm
instance: sumo#between (sumo#object,sumo#object,sumo#object) the second object is (directly) spatially located between the other two (the projections of which overlap with the second object)
instance: sumo#represents_for_agent ()
instance: sumo#represents_in_language ()
instance: sumo#distance (sumo#object,*)
instance: sumo#temporally_between (?,?)
instance: sumo#temporally_between_or_equal (?,?)
instance: sumo#connects (sumo#object,*)
instance: sumo#orientation (sumo#object,*)
instance: sumo#occupies_position ()
instance: sumo#point_of_intersection ()
instance: sumo#geometric_distance__geometricdistance ()
instance: sumo#domain sumo#domain_subclass sumo#related_external_concept sumo#conditional_probability__conditionalprobability sumo#prefers__prefer sumo#capability sumo#has_purpose_for_agent__haspurposeforagent sumo#confers_norm__confersnorm sumo#deprives_norm sumo#between sumo#represents_for_agent sumo#represents_in_language sumo#distance sumo#temporally_between sumo#temporally_between_or_equal sumo#connects sumo#orientation sumo#occupies_position sumo#point_of_intersection sumo#geometric_distance__geometricdistance
subtype: pm#quaternary_predicate_type class of predicates that require four arguments
subtype: pm#quintary_predicate_type class of predicates that require five arguments
instance: sumo#disjoint_relation sumo#contrary_attribute sumo#exhaustive_attribute sumo#exhaustive_decomposition sumo#disjoint_decomposition sumo#partition sumo#holds__hold
subtype: sumo#list a particular ordered n-tuple of items; generally speaking, lists are created by means of the list_fn function, which takes any number of items as arguments and returns a list with the items in the same order; anything, including other lists, may be an item in a list; note too that lists are extensional - two lists that have the same items in the same order are identical; note too that a list (the null_list) may contain no items
subtype: sumo#unique_list a list in which no item appears more than once, i.e. a list for which there are no distinct numbers ?n1 and ?n2 such that (sumo#list_order_fn ?list ?n1) and (sumo#list_order_fn ?list ?n2) return the same value
subtype: kif#null__null_list type of empty lists
instance: sumo#null_list the list that has no items; the uniqueness of null_list follows from the extensionality of lists, i.e. the fact that two lists with the same items in the same order are identical
instance: sumo#null_list
subtype: kif#single__list_with_1_element list of length 1
subtype: kif#double__list_with_2_elements list of length 2
subtype: kif#triple__list_with_3_elements list of length 3
subtype: rdfs#container
subtype: rdf#bag
subtype: rdf#seq
subtype: rdf#list
subtype: daml#disjoint__disjoint_list_of_classes classes in such a list are pairwise disjoint
subtype: rdf#alt alternatives (exclusive or inclusive?)
subtype: pm#or_bag bag of OR-ed elements
subtype: pm#xor_bag__xorbag bag of XOR-ed elements
subtype: lis#multidimensional_object ordered list of thing; click here for details
subtype: lis#multidimensional_property_space
subtype: lis#multidimensional_number
subtype: lis#multidimensional_property
subtype: lis#multidimensional_number_space
subtype: lis#multidimensional_scale
subtype: pm#single_valued_relation_type when an assignment of values to every argument position except the last one determines at most one assignment for the last argument position; not all single_valued_relations are total_valued_relations
instance: sumo#valence (pm#relation_type,sumo#positive_integer) specifies the number of arguments that a relation can take; if a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of variable_arity_relation, e.g., sumo#holds is a variable_arity_relation
instance: sumo#leader__leader_of (sumo#human,dl#agentive_physical_object) (sumo#leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON
instance: sumo#unique_identifier (pm#string,?) the string uniquely identifies the 2nd argument
instance: sumo#age ()
instance: sumo#width ()
instance: sumo#distance (sumo#object,*)
instance: sumo#altitude ()
instance: sumo#depth ()
instance: sumo#monetary_value ()
instance: sumo#date (?,?)
instance: sumo#transaction_amount__transactionamount ()
instance: sumo#mother ()
instance: sumo#father ()
instance: sumo#conclusion ()
instance: sumo#geometric_distance__geometricdistance ()
subtype: pm#function_type term-forming relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element; note that the range is a set_or_class, and each element of the range is an instance of the set_or_class
instance: pm#unary_function__unaryfunction (? -> ?) function that requires a single argument; currently not specialized by the SUMO ternary relations since this seems useless (for now)
instance: pm#binary_function (?,? -> ?) function that requires two arguments; currently not specialized by the SUMO ternary relations since this seems useless (for now)
instance: sumo#assignment_fn (pm#function_type,*) if F is a function with a value for the objects denoted by N1,..., NK, then (sumo#assignmentFn F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK; otherwise, the value is undefined
instance: sumo#list_fn (* -> sumo#list) a function that takes any number of arguments and returns the list containing those arguments in exactly the same order
instance: sumo#greatest_common_divisor_fn ()
instance: sumo#least_common_multiple_fn ()
subtype: pm#continuous_function_type class of functions which are continuous; this concept is taken as primitive until representations for limits are devised
subtype: pm#time_dependent_quantity_type a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
subtype: pm#function_quantity_type function that maps from one or more instances of constant_quantity to another instance of constant_quantity; for example, the velocity of a particle would be represented by a function_quantity mapping values of time (which are constant_quantities) to values of distance (also constant_quantities); note that all instances of function_quantity are functions with a fixed arity; note too that all elements of the range of a function_quantity have the same physical dimension as the function_quantity itself
subtype: pm#unary_constant_function_quantity_type unary function that maps from sumo#constant_quantity to the same class
subtype: pm#time_dependent_quantity_type a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
subtype: sumo#calorie
subtype: sumo#British_thermal_unit
subtype: pm#unary_function_type class of functions requiring a single argument; if R is functional, then if R(x -> y) and P(x -> z) then y=z
instance: pm#unary_function__unaryfunction (? -> ?) function that requires a single argument; currently not specialized by the SUMO ternary relations since this seems useless (for now)
instance: sumo#power_set_fn__powersetfn (sumo#set_or_class -> sumo#set_or_class) maps the argument to the set_or_class of all its subclasses
instance: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#abstraction_fn__abstractionfn (sumo#class -> sumo#Attribute) a unary_function that maps a class into an attribute that specifies the condition(s) for membership in the class
instance: sumo#extension_fn__extensionfn (sumo#Attribute -> sumo#class) a unary_function that maps an attribute into the class whose condition for membership is the attribute
instance: sumo#probability_fn__probabilityfn (sumo#formula -> sumo#real_number) one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
instance: sumo#list_length_fn (sumo#list -> sumo#nonnegative_integer) returns the number of items in the list, e.g., (sumo#list_length_fn (sumo#list_fn Monday Tuesday Wednesday)) would return the value 3
instance: sumo#property_fn (dl#agentive_physical_object -> sumo#set) maps an agent to the set of objects owned by the agent
instance: sumo#absolute_value_fn ()
instance: sumo#ceiling_fn__ceilingfn ()
instance: sumo#cosine_fn ()
instance: sumo#denominator_fn__denominatorfn ()
instance: sumo#floor_fn__floorfn ()
instance: sumo#imaginary_part_fn ()
instance: sumo#integer_square_root_fn ()
instance: sumo#numerator_fn__numeratorfn ()
instance: sumo#rational_number_fn ()
instance: sumo#real_number_fn ()
instance: sumo#reciprocal_fn ()
instance: sumo#round_fn__roundfn ()
instance: sumo#signum_fn ()
instance: sumo#sine_fn ()
instance: sumo#square_root_fn ()
instance: sumo#tangent_fn__tangentfn ()
instance: sumo#successor_fn__successorfn ()
instance: sumo#predecessor_fn__predecessorfn ()
instance: sumo#complement_fn ()
instance: sumo#generalized_union_fn__generalizedunionfn ()
instance: sumo#generalized_intersection_fn ()
instance: sumo#cardinality_fn__cardinalityfn (?,?)
instance: sumo#kilo_fn ()
instance: sumo#mega_fn ()
instance: sumo#giga_fn ()
instance: sumo#tera_fn ()
instance: sumo#milli_fn__millifn ()
instance: sumo#micro_fn__microfn ()
instance: sumo#nano_fn ()
instance: sumo#pico_fn ()
instance: sumo#magnitude_fn__magnitudefn ()
instance: sumo#wealth_fn ()
instance: sumo#begin_fn__beginfn (?,?)
instance: sumo#end_fn__endfn (?,?)
instance: sumo#when_fn (sumo#physical -> sumo#time_interval) maps an object or process ?p to the exact time_interval during which it exists (for every time_point ?t outside of the time_interval, (time ?p ?t) does not hold
instance: sumo#past_fn (?,?)
instance: sumo#immediate_past_fn (?,?)
instance: sumo#future_fn (?,?)
instance: sumo#immediate_future_fn (?,?)
instance: sumo#year_fn (?,?)
instance: sumo#hole_host_fn (sumo#object,*)
instance: sumo#hole_skin_fn (sumo#object,*)
instance: sumo#immediate_family_fn ()
instance: sumo#government_fn ()
instance: sumo#premises_fn ()
subtype: pm#unary_constant_function_quantity_type unary function that maps from sumo#constant_quantity to the same class
subtype: pm#one_to_one_function_type a function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y)
subtype: pm#sequence_function_type class of one_to_one_functions whose range is a subclass of the positive_integers
instance: pm#unary_function__unaryfunction sumo#power_set_fn__powersetfn sumo#front_fn__frontfn sumo#back_fn sumo#abstraction_fn__abstractionfn sumo#extension_fn__extensionfn sumo#probability_fn__probabilityfn sumo#list_length_fn sumo#property_fn sumo#absolute_value_fn sumo#ceiling_fn__ceilingfn sumo#cosine_fn sumo#denominator_fn__denominatorfn sumo#floor_fn__floorfn sumo#imaginary_part_fn sumo#integer_square_root_fn sumo#numerator_fn__numeratorfn sumo#rational_number_fn sumo#real_number_fn sumo#reciprocal_fn sumo#round_fn__roundfn sumo#signum_fn sumo#sine_fn sumo#square_root_fn sumo#tangent_fn__tangentfn sumo#successor_fn__successorfn sumo#predecessor_fn__predecessorfn sumo#complement_fn sumo#generalized_union_fn__generalizedunionfn sumo#generalized_intersection_fn sumo#cardinality_fn__cardinalityfn sumo#kilo_fn sumo#mega_fn sumo#giga_fn sumo#tera_fn sumo#milli_fn__millifn sumo#micro_fn__microfn sumo#nano_fn sumo#pico_fn sumo#magnitude_fn__magnitudefn sumo#wealth_fn sumo#begin_fn__beginfn sumo#end_fn__endfn sumo#when_fn sumo#past_fn sumo#immediate_past_fn sumo#future_fn sumo#immediate_future_fn sumo#year_fn sumo#hole_host_fn sumo#hole_skin_fn sumo#immediate_family_fn sumo#government_fn sumo#premises_fn
subtype: pm#binary_function_type class of functions requiring two arguments
instance: pm#binary_function (?,? -> ?) function that requires two arguments; currently not specialized by the SUMO ternary relations since this seems useless (for now)
instance: sumo#list_order_fn (sumo#list,sumo#positive_integer -> ?) returns the item that is in the given position (2nd argument) in the list, e.g., (sumo#list_order_fn (sumo#list_fn Monday Tuesday Wednesday) 2) would return the value tuesday
instance: sumo#list_concatenate_fn (sumo#list,sumo#list -> sumo#list) returns the concatenation of two lists
instance: sumo#where_fn__wherefn (sumo#physical,sumo#time_point -> sumo#region) maps an object and a time_point at which the object exists to the region where the object existed at that time_point
instance: sumo#multiplication_fn ()
instance: sumo#addition_fn ()
instance: sumo#subtraction_fn__subtractionfn ()
instance: sumo#division_fn ()
instance: sumo#exponentiation_fn ()
instance: sumo#log_fn__logfn ()
instance: sumo#max_fn__maxfn ()
instance: sumo#min_fn__minfn ()
instance: sumo#remainder_fn__remainderfn ()
instance: sumo#union_fn__unionfn ()
instance: sumo#intersection_fn ()
instance: sumo#relative_complement_fn ()
instance: sumo#kappa_fn__kappafn ()
instance: sumo#measure_fn__measurefn ()
instance: sumo#interval_fn ()
instance: sumo#per_fn__perfn ()
instance: sumo#time_interval_fn (?,?)
instance: sumo#recurrent_time_interval_fn (?,?)
instance: sumo#month_fn__monthfn (?,?)
instance: sumo#day_fn__dayfn (?,?)
instance: sumo#hour_fn (?,?)
instance: sumo#minute_fn (?,?)
instance: sumo#second_fn (?,?)
instance: sumo#temporal_composition_fn (?,?)
instance: sumo#mereological_sum_fn (sumo#object,*)
instance: sumo#mereological_product_fn (sumo#object,*)
instance: sumo#mereological_difference_fn (sumo#object,*)
instance: sumo#edition_fn__editionfn ()
instance: sumo#series_volume_fn ()
instance: sumo#periodical_issue_fn ()
instance: sumo#relative_time_fn (?,?)
subtype: pm#associative_function_type a binary function is associative if bracketing has no effect on the value returned by the function; more precisely, a function ?FUNCTION is associative just in case (?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) is equal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3
subtype: pm#commutative_function_type a binary function is commutative if the ordering of the arguments of the function has no effect on the value returned by the function; more precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2
instance: pm#binary_function sumo#list_order_fn sumo#list_concatenate_fn sumo#where_fn__wherefn sumo#multiplication_fn sumo#addition_fn sumo#subtraction_fn__subtractionfn sumo#division_fn sumo#exponentiation_fn sumo#log_fn__logfn sumo#max_fn__maxfn sumo#min_fn__minfn sumo#remainder_fn__remainderfn sumo#union_fn__unionfn sumo#intersection_fn sumo#relative_complement_fn sumo#kappa_fn__kappafn sumo#measure_fn__measurefn sumo#interval_fn sumo#per_fn__perfn sumo#time_interval_fn sumo#recurrent_time_interval_fn sumo#month_fn__monthfn sumo#day_fn__dayfn sumo#hour_fn sumo#minute_fn sumo#second_fn sumo#temporal_composition_fn sumo#mereological_sum_fn sumo#mereological_product_fn sumo#mereological_difference_fn sumo#edition_fn__editionfn sumo#series_volume_fn sumo#periodical_issue_fn sumo#relative_time_fn
subtype: pm#ternary_function_type class of functions requiring three arguments
subtype: pm#quaternary_function_type class of functions requiring four arguments
instance: pm#unary_function__unaryfunction pm#binary_function sumo#assignment_fn sumo#list_fn sumo#greatest_common_divisor_fn sumo#least_common_multiple_fn
instance: sumo#valence sumo#leader__leader_of sumo#unique_identifier sumo#age sumo#width sumo#distance sumo#altitude sumo#depth sumo#monetary_value sumo#date sumo#transaction_amount__transactionamount sumo#mother sumo#father sumo#conclusion sumo#geometric_distance__geometricdistance
subtype: pm#total_valued_relation_type when there exists an assignment for the last argument position of the relation given any assignment of values to every argument position except the last one; note that declaring a relation to be both a total_valued_relation and a single_valued_relation means that it is a total function
instance: sumo#power_set_fn__powersetfn (sumo#set_or_class -> sumo#set_or_class) maps the argument to the set_or_class of all its subclasses
instance: sumo#probability_fn__probabilityfn (sumo#formula -> sumo#real_number) one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
instance: sumo#list_fn (* -> sumo#list) a function that takes any number of arguments and returns the list containing those arguments in exactly the same order
instance: sumo#list_length_fn (sumo#list -> sumo#nonnegative_integer) returns the number of items in the list, e.g., (sumo#list_length_fn (sumo#list_fn Monday Tuesday Wednesday)) would return the value 3
instance: sumo#list_concatenate_fn (sumo#list,sumo#list -> sumo#list) returns the concatenation of two lists
instance: sumo#where_fn__wherefn (sumo#physical,sumo#time_point -> sumo#region) maps an object and a time_point at which the object exists to the region where the object existed at that time_point
instance: sumo#property_fn (dl#agentive_physical_object -> sumo#set) maps an agent to the set of objects owned by the agent
instance: sumo#multiplication_fn ()
instance: sumo#addition_fn ()
instance: sumo#subtraction_fn__subtractionfn ()
instance: sumo#absolute_value_fn ()
instance: sumo#ceiling_fn__ceilingfn ()
instance: sumo#cosine_fn ()
instance: sumo#denominator_fn__denominatorfn ()
instance: sumo#exponentiation_fn ()
instance: sumo#floor_fn__floorfn ()
instance: sumo#imaginary_part_fn ()
instance: sumo#max_fn__maxfn ()
instance: sumo#min_fn__minfn ()
instance: sumo#numerator_fn__numeratorfn ()
instance: sumo#reciprocal_fn ()
instance: sumo#round_fn__roundfn ()
instance: sumo#signum_fn ()
instance: sumo#sine_fn ()
instance: sumo#tangent_fn__tangentfn ()
instance: sumo#successor_fn__successorfn ()
instance: sumo#predecessor_fn__predecessorfn ()
instance: sumo#union_fn__unionfn ()
instance: sumo#intersection_fn ()
instance: sumo#relative_complement_fn ()
instance: sumo#complement_fn ()
instance: sumo#generalized_union_fn__generalizedunionfn ()
instance: sumo#generalized_intersection_fn ()
instance: sumo#cardinality_fn__cardinalityfn (?,?)
instance: sumo#measure_fn__measurefn ()
instance: sumo#kilo_fn ()
instance: sumo#mega_fn ()
instance: sumo#giga_fn ()
instance: sumo#tera_fn ()
instance: sumo#milli_fn__millifn ()
instance: sumo#micro_fn__microfn ()
instance: sumo#nano_fn ()
instance: sumo#pico_fn ()
instance: sumo#per_fn__perfn ()
instance: sumo#density_fn__densityfn ()
instance: sumo#speed_fn__speedfn ()
instance: sumo#velocity_fn ()
instance: sumo#duration (?,?)
instance: sumo#begin_fn__beginfn (?,?)
instance: sumo#end_fn__endfn (?,?)
instance: sumo#when_fn (sumo#physical -> sumo#time_interval) maps an object or process ?p to the exact time_interval during which it exists (for every time_point ?t outside of the time_interval, (time ?p ?t) does not hold
instance: sumo#past_fn (?,?)
instance: sumo#immediate_past_fn (?,?)
instance: sumo#future_fn (?,?)
instance: sumo#immediate_future_fn (?,?)
instance: sumo#mereological_sum_fn (sumo#object,*)
instance: sumo#mereological_product_fn (sumo#object,*)
instance: sumo#mereological_difference_fn (sumo#object,*)
instance: sumo#hole_host_fn (sumo#object,*)
instance: sumo#hole_skin_fn (sumo#object,*)
instance: sumo#transaction_amount__transactionamount ()
instance: sumo#premise ()
instance: sumo#conclusion ()
instance: sumo#relative_time_fn (?,?)
instance: sumo#angular_measure__angularmeasure ()
instance: sumo#line_measure ()
instance: sumo#geometric_distance__geometricdistance ()
instance: sumo#power_set_fn__powersetfn sumo#probability_fn__probabilityfn sumo#list_fn sumo#list_length_fn sumo#list_concatenate_fn sumo#where_fn__wherefn sumo#property_fn sumo#multiplication_fn sumo#addition_fn sumo#subtraction_fn__subtractionfn sumo#absolute_value_fn sumo#ceiling_fn__ceilingfn sumo#cosine_fn sumo#denominator_fn__denominatorfn sumo#exponentiation_fn sumo#floor_fn__floorfn sumo#imaginary_part_fn sumo#max_fn__maxfn sumo#min_fn__minfn sumo#numerator_fn__numeratorfn sumo#reciprocal_fn sumo#round_fn__roundfn sumo#signum_fn sumo#sine_fn sumo#tangent_fn__tangentfn sumo#successor_fn__successorfn sumo#predecessor_fn__predecessorfn sumo#union_fn__unionfn sumo#intersection_fn sumo#relative_complement_fn sumo#complement_fn sumo#generalized_union_fn__generalizedunionfn sumo#generalized_intersection_fn sumo#cardinality_fn__cardinalityfn sumo#measure_fn__measurefn sumo#kilo_fn sumo#mega_fn sumo#giga_fn sumo#tera_fn sumo#milli_fn__millifn sumo#micro_fn__microfn sumo#nano_fn sumo#pico_fn sumo#per_fn__perfn sumo#density_fn__densityfn sumo#speed_fn__speedfn sumo#velocity_fn sumo#duration sumo#begin_fn__beginfn sumo#end_fn__endfn sumo#when_fn sumo#past_fn sumo#immediate_past_fn sumo#future_fn sumo#immediate_future_fn sumo#mereological_sum_fn sumo#mereological_product_fn sumo#mereological_difference_fn sumo#hole_host_fn sumo#hole_skin_fn sumo#transaction_amount__transactionamount sumo#premise sumo#conclusion sumo#relative_time_fn sumo#angular_measure__angularmeasure sumo#line_measure sumo#geometric_distance__geometricdistance
subtype: pm#partial_valued_relation_type relation type that is not a total_valued_relation_type, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position; note that, if a sumo#relation is both a partial_valued_relation and a single_valued_relation, then it is a partial function
instance: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#abstraction_fn__abstractionfn (sumo#class -> sumo#Attribute) a unary_function that maps a class into an attribute that specifies the condition(s) for membership in the class
instance: sumo#extension_fn__extensionfn (sumo#Attribute -> sumo#class) a unary_function that maps an attribute into the class whose condition for membership is the attribute
instance: sumo#list_order_fn (sumo#list,sumo#positive_integer -> ?) returns the item that is in the given position (2nd argument) in the list, e.g., (sumo#list_order_fn (sumo#list_fn Monday Tuesday Wednesday) 2) would return the value tuesday
instance: sumo#division_fn ()
instance: sumo#greatest_common_divisor_fn ()
instance: sumo#integer_square_root_fn ()
instance: sumo#least_common_multiple_fn ()
instance: sumo#remainder_fn__remainderfn ()
instance: sumo#edition_fn__editionfn ()
instance: sumo#series_volume_fn ()
instance: sumo#periodical_issue_fn ()
instance: sumo#front_fn__frontfn sumo#back_fn sumo#abstraction_fn__abstractionfn sumo#extension_fn__extensionfn sumo#list_order_fn sumo#division_fn sumo#greatest_common_divisor_fn sumo#integer_square_root_fn sumo#least_common_multiple_fn sumo#remainder_fn__remainderfn sumo#edition_fn__editionfn sumo#series_volume_fn sumo#periodical_issue_fn
subtype: pm#binary_relation_type all binary relation types are instance of that object
instance: pm#binary_relation (?,?) 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
instance: sumo#distributes__distribute (pm#binary_function_type,pm#binary_function_type) a binary_function ?F1 is distributive over another binary_function ?F2 just in case (?F1 ?INST1 (?F2 ?INST2 ?INST3)) is equal to (?F2 (?F1 ?INST1 ?INST2) (?F1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3
subtype: pm#unary_function_type class of functions requiring a single argument; if R is functional, then if R(x -> y) and P(x -> z) then y=z
subtype: pm#binary_predicate_type the class of predicates relating two items - its valence is two
subtype: pm#injective_binary_relation_type if P is injective, then if P(x,y) and P(z,y) then x=z; e.g., if nameOfMonth(m,"Feb") and nameOfMonth(n,"Feb") then m and n are the same month
instance: pm#injective_binary_relation (?,?) if P is injective, then if P(x,y) and P(z,y) then x=z; e.g., if nameOfMonth(m,"Feb") and nameOfMonth(n,"Feb") then m and n are the same month; this category only serves structuration purposes: it is instance of pm#injective_binary_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: pm#injective_binary_relation
subtype: pm#reflexive_relation_type a relation is reflexive if (?REL ?INST ?INST) for all ?INST
instance: pm#reflexive_relation__reflexiverelation (?,?) this category only serves structuration purposes: it is instance of pm#reflexive_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: sumo#overlaps_temporally (?,?)
instance: sumo#connected (sumo#object,*)
instance: sumo#overlaps_spatially (?,?)
subtype: pm#equivalence_relation_type binary_relation that is reflexive, symmetric and transitive
instance: pm#equivalence_binary_relation ()
instance: pm#equal (?,?) "=" in KIF; true if the 1st argument is identical to the 2nd
instance: 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
instance: sumo#equivalent_content_class (?,?)
instance: sumo#equivalent_content_instance (?,?)
instance: sumo#cooccur (?,?)
instance: sumo#family_relation (?,?)
instance: pm#equivalence_binary_relation pm#equal sumo#copy sumo#equivalent_content_class sumo#equivalent_content_instance sumo#cooccur sumo#family_relation
subtype: pm#partial_ordering_relation_type binary_relation that is reflexive, antisymmetric and transitive
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
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__less_than_or_equal_to___superior_or_equal___maximum__maximum (?,?) fuzzy category, DO NOT USE DIRECTLY
instance: pm#superior_or_equal_to__more_than_or_equal_to___inferior_or_equal___minimum__minimum (?,?) fuzzy category, DO NOT USE DIRECTLY
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__subattribute (sumo#Attribute,sumo#Attribute) the second argument can be ascribed to everything which has the first argument ascribed to it
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
instance: sumo#sub_collection__subcollection__sub_collection_of (sumo#collection,sumo#collection) the 1st collection is a proper part of the 2nd
instance: sumo#less_than_or_equal_to (?,?)
instance: 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__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
instance: sumo#subsumes_content_class (?,?)
instance: sumo#subsumes_content_instance (?,?)
instance: sumo#temporal_part (?,?)
instance: sumo#before_or_equal (?,?)
instance: sumo#sub_process__subproces (?,?)
instance: sumo#sub_organization__suborganization (?,?)
instance: sumo#geometric_part__geometricpart (?,?)
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
instance: pm#total_ordering_relation
instance: pm#partial_ordering_relation pm#total_ordering_relation pm#inferior_or_equal_to__less_than_or_equal_to___superior_or_equal___maximum__maximum pm#superior_or_equal_to__more_than_or_equal_to___inferior_or_equal___minimum__minimum pm#generalizing_type pm#specializing_type pm#constitution pm#part pm#wnMember pm#sub_collection__subcollection sumo#subclass__subclass_of sumo#subrelation sumo#sub_attribute__subattribute sumo#part__part_of sumo#sub_collection__subcollection__sub_collection_of sumo#less_than_or_equal_to sumo#greater_than_or_equal_to sumo#sub_list__sublist__sub_list_of sumo#initial_list__initiallist sumo#subsumes_content_class sumo#subsumes_content_instance sumo#temporal_part sumo#before_or_equal sumo#sub_process__subproces sumo#sub_organization__suborganization sumo#geometric_part__geometricpart
instance: pm#reflexive_relation__reflexiverelation sumo#overlaps_temporally sumo#connected sumo#overlaps_spatially
subtype: pm#trichotomizing_relation_type binary_relation such that all ordered pairs consisting of distinct individuals are element of this binary_relation
instance: pm#trichotomizing_relation (?,?) this category only serves structuration purposes: it is instance of pm#trichotomizing_relation_type which is not instance of pm#class_of_inheritable_relation_type
subtype: pm#total_ordering_relation_type partial_ordering_relation that is a trichotomizing_relation
instance: pm#trichotomizing_relation
subtype: pm#irreflexive_relation_type r is irreflexive if r(?i,?i) holds for no value of ?i
instance: pm#irreflexive_relation__irreflexiverelation (?,?) this category only serves structuration purposes: it is instance of pm#irreflexive_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
instance: 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
instance: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#attribute (sumo#object,sumo#Attribute) the 2nd argument is an attribute of the 1st
instance: sumo#manner (sumo#process,sumo#Attribute) the 1st argument is qualified by the 2nd (which is usually denoted by and adverb), e.g., the speed of the wind, the style of a dance, or the intensity of a sports competition
instance: sumo#less_than (sumo#quantity,sumo#quantity)
instance: sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
instance: sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is more likely to be true if the 1st is true
instance: sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is less likely to be true if the 1st is true
instance: sumo#in_list (?,sumo#list) true if the 1st argument is in the list; analog of element and instance for lists
instance: sumo#inhibits (?,?)
instance: sumo#prevents (?,?)
instance: sumo#sub_proposition__subproposition (?,?)
instance: sumo#sub_plan__subplan (?,?)
instance: sumo#larger (sumo#object,*)
instance: sumo#smaller (sumo#object,*)
instance: sumo#starts (?,?)
instance: sumo#finishes (?,?)
instance: sumo#before (?,?)
instance: sumo#during (?,?)
instance: sumo#earlier (?,?)
instance: sumo#meets_spatially__meetsspatially (?,?)
instance: sumo#overlaps_partially (?,?)
instance: sumo#superficial_part__superficialpart (?,?)
instance: sumo#connected_engineering_components (?,?)
instance: sumo#ancestor (?,?)
instance: sumo#sibling (?,?)
instance: sumo#brother (?,?)
instance: sumo#sister (?,?)
instance: sumo#spouse (?,?)
instance: sumo#husband (?,?)
instance: sumo#wife (?,?)
instance: sumo#modal_attribute__modalattribute (?,?)
subtype: pm#asymmetric_relation_type an antisymmetric and irreflexive relation
instance: pm#asymmetric_relation (?,?) this category only serves structuration purposes: it is instance of pm#asymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: sumo#immediate_instance__immediateinstance (?,sumo#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
instance: 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 '<'
instance: sumo#range (pm#function_type,sumo#set_or_class) gives the range of a function, i.e. all of the values assigned by the function are instances of sumo#class
instance: sumo#range_subclass (pm#function_type,sumo#set_or_class) all of the values assigned by the function in the 1st argument are subclasses of the 2nd argment
instance: sumo#valence (pm#relation_type,sumo#positive_integer) specifies the number of arguments that a relation can take; if a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of variable_arity_relation, e.g., sumo#holds is a variable_arity_relation
instance: sumo#documentation (?,pm#string) a relation between objects in the domain of discourse and strings of natural language text; the domain of this relation is not constants (names), but the objects themselves; this means that one does not quote the names when associating them with their documentation
instance: sumo#successor_attribute__successorattribute (sumo#Attribute,sumo#Attribute) the second argument is the attribute that comes immediately after the first on the scale that they share
instance: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#probability_fn__probabilityfn (sumo#formula -> sumo#real_number) one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
instance: 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)
instance: sumo#contains (sumo#self_connected_object,sumo#object) the relation of spatial containment for two separable objects; when the two objects are not separable (e.g., an automobile and one of its seats), the relation of part should be used; (sumo#contains ?OBJ1 ?OBJ2) means that the self_connected_object ?OBJ1 has a space (i.e. a hole) which is at least partially filled by ?OBJ2
instance: 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#contains_information (sumo#content_bearing_object,sumo#proposition) relates a content_bearing_object to the proposition it expresses; examples include the relationships between a physical novel and its story and between a printed score and its musical content
instance: sumo#leader__leader_of (sumo#human,dl#agentive_physical_object) (sumo#leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON
instance: sumo#attribute (sumo#object,sumo#Attribute) the 2nd argument is an attribute of the 1st
instance: sumo#manner (sumo#process,sumo#Attribute) the 1st argument is qualified by the 2nd (which is usually denoted by and adverb), e.g., the speed of the wind, the style of a dance, or the intensity of a sports competition
instance: sumo#in_list (?,sumo#list) true if the 1st argument is in the list; analog of element and instance for lists
instance: sumo#closed_on (pm#function_type,sumo#set_or_class) a binary_function is closed on a set_or_class if it is defined for all instances of the set_or_class and its value is always an instance of the set_or_class
instance: sumo#reflexive_on__reflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is reflexive on a set_or_class only if every instance of the set_or_class bears the relation to itself
instance: sumo#irreflexive_on__irreflexiveon (pm#binary_relation_type,sumo#set_or_class) a binary_relation is irreflexive on a set_or_class only if no instance of the set_or_class bears the relation to itself
instance: sumo#partial_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is a partial ordering on a set_or_class only if the relation is reflexive_on the set_or_class, and it is both an antisymmetric_relation, and a transitive_relation
instance: sumo#total_ordering_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation ?REL is a total ordering on a set_or_class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the set_or_class
instance: sumo#trichotomizing_on (pm#binary_relation_type,sumo#set_or_class)
instance: sumo#equivalence_relation_on (pm#binary_relation_type,sumo#set_or_class) a binary_relation is an equivalence_relation_on a set_or_class only if the relation is reflexive_on the set_or_class and it is both a transitive_relation and a symmetric_relation
instance: sumo#causes (sumo#process,sumo#process) the process in the 1st argument brings about the process in the 2nd argument
instance: sumo#causes_subclass (pm#sumo_process_class,pm#sumo_process_class) the 1st argument brings about the 2nd, e.g., (causes_subclass killing death)
instance: sumo#time (sumo#physical,sumo#time_position) means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
instance: sumo#holds_during__holdsduring (sumo#time_position,sumo#formula) means that the proposition denoted by is true at (every temporal_part of) the time_position
instance: sumo#exploits (sumo#object,dl#agentive_physical_object) the object is used by the agent as a resource in an unspecified instance of process
instance: sumo#has_purpose__haspurpose (sumo#physical,sumo#formula) the instance of physical has, as its purpose, the proposition expressed by the formula; note that there is an important difference in meaning between the predicates has_purpose and result; although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired; for example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on
instance: sumo#has_skill__hasskill (pm#sumo_process_class,dl#agentive_physical_object) similar to the capability predicate with the additional restriction that the ability be practised or demonstrated to some measurable degree
instance: sumo#crosses__crosse (sumo#object,sumo#object) the 1st object traverses the second without being connected to it
instance: sumo#penetrates (sumo#object,sumo#object) the 1st object is connected to the second along at least one whole dimension (length, width or depth)
instance: sumo#possesses__possesse (dl#agentive_physical_object,sumo#object) the agent has ownership of the object
instance: sumo#precondition (?,?)
instance: sumo#realization (?,?)
instance: sumo#expressed_in_language (?,?)
instance: sumo#uses (?,?)
instance: sumo#identity_element (?,?)
instance: sumo#element (?,?)
instance: sumo#cardinality_fn__cardinalityfn (?,?)
instance: sumo#measure (?,?)
instance: sumo#duration (?,?)
instance: sumo#frequency (?,?)
instance: sumo#meets_temporally__meetstemporally (?,?)
instance: sumo#date (?,?)
instance: sumo#surface (?,?)
instance: sumo#interior_part (?,?)
instance: sumo#hole (sumo#object,*)
instance: sumo#hole_host_fn (sumo#object,*)
instance: sumo#partially_fills__partiallyfill (sumo#object,*)
instance: sumo#properly_fills (?,?)
instance: sumo#completely_fills (?,?)
instance: sumo#fills__fill (?,?)
instance: sumo#hole_skin_fn (sumo#object,*)
instance: sumo#geographic_subregion (?,?)
instance: sumo#geopolitical_subdivision (?,?)
instance: sumo#developmental_form__developmentalform (?,?)
instance: sumo#inhabits (?,?)
instance: sumo#authors__author (?,?)
instance: sumo#editor (?,?)
instance: sumo#publishes__publishe (?,?)
instance: sumo#version (?,?)
instance: sumo#parent (?,?)
instance: sumo#husband (?,?)
instance: sumo#wife (?,?)
instance: sumo#citizen (?,?)
instance: sumo#modal_attribute__modalattribute (?,?)
subtype: pm#case_relation_type the class of predicates relating the spatially distinguished parts of a process. e.g., the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain
subtype: pm#propositional_attitude_relation_type the class of intentional_relations where the agent has awareness of a proposition
instance: pm#propositional_attitude_relation (sumo#cognitive_agent,sumo#formula) intentional_relations where the agent has awareness of a proposition
instance: sumo#desires (sumo#cognitive_agent,sumo#formula) the agent wants to bring about the state of affairs expressed by the formula (whcih may be already true); desires is distinguished from wants only in that the former is a propositional_attitude, while wants is an object_attitude
instance: sumo#considers__consider (sumo#cognitive_agent,sumo#formula) the agent considers or wonders about the truth of the proposition expressed by the formula
instance: sumo#believes (sumo#cognitive_agent,sumo#formula) the agent believes the proposition expressed by the formula
instance: sumo#knows__know (sumo#cognitive_agent,sumo#formula) the agent knows the proposition expressed by the formula; knows entails conscious awareness, so this predicate cannot be used to express tacit or subconscious or unconscious knowledge
instance: pm#propositional_attitude_relation sumo#desires sumo#considers__consider sumo#believes sumo#knows__know
instance: pm#asymmetric_relation sumo#immediate_instance__immediateinstance sumo#immediate_subclass__immediate_subclass_of sumo#range sumo#range_subclass sumo#valence sumo#documentation sumo#successor_attribute__successorattribute sumo#front_fn__frontfn sumo#back_fn sumo#probability_fn__probabilityfn sumo#proper_part__proper_part_of sumo#contains sumo#member sumo#contains_information sumo#leader__leader_of sumo#attribute sumo#manner sumo#in_list sumo#closed_on sumo#reflexive_on__reflexiveon sumo#irreflexive_on__irreflexiveon sumo#partial_ordering_on sumo#total_ordering_on sumo#trichotomizing_on sumo#equivalence_relation_on sumo#causes sumo#causes_subclass sumo#time sumo#holds_during__holdsduring sumo#exploits sumo#has_purpose__haspurpose sumo#has_skill__hasskill sumo#crosses__crosse sumo#penetrates sumo#possesses__possesse sumo#precondition sumo#realization sumo#expressed_in_language sumo#uses sumo#identity_element sumo#element sumo#cardinality_fn__cardinalityfn sumo#measure sumo#duration sumo#frequency sumo#meets_temporally__meetstemporally sumo#date sumo#surface sumo#interior_part sumo#hole sumo#hole_host_fn sumo#partially_fills__partiallyfill sumo#properly_fills sumo#completely_fills sumo#fills__fill sumo#hole_skin_fn sumo#geographic_subregion sumo#geopolitical_subdivision sumo#developmental_form__developmentalform sumo#inhabits sumo#authors__author sumo#editor sumo#publishes__publishe sumo#version sumo#parent sumo#husband sumo#wife sumo#citizen sumo#modal_attribute__modalattribute
instance: pm#irreflexive_relation__irreflexiverelation pm#inverse__reverse sumo#successor_attribute_closure__successorattributeclosure sumo#front_fn__frontfn sumo#back_fn sumo#attribute sumo#manner sumo#less_than sumo#greater_than__greaterthan sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of sumo#in_list sumo#inhibits sumo#prevents sumo#sub_proposition__subproposition sumo#sub_plan__subplan sumo#larger sumo#smaller sumo#starts sumo#finishes sumo#before sumo#during sumo#earlier sumo#meets_spatially__meetsspatially sumo#overlaps_partially sumo#superficial_part__superficialpart sumo#connected_engineering_components sumo#ancestor sumo#sibling sumo#brother sumo#sister sumo#spouse sumo#husband sumo#wife sumo#modal_attribute__modalattribute
subtype: pm#symmetric_relation_type when (?REL ?INST1 ?INST2) implies (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2
instance: pm#symmetric_relation__symmetricrelation (?,?) this category only serves structuration purposes: it is instance of pm#symmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
instance: sumo#independent_probability__independentprobability (sumo#formula,sumo#formula) the probabilities of the formulas being true are independent
instance: sumo#overlaps_temporally (?,?)
instance: sumo#connected (sumo#object,*)
instance: sumo#meets_spatially__meetsspatially (?,?)
instance: sumo#overlaps_spatially (?,?)
instance: sumo#overlaps_partially (?,?)
instance: sumo#connected_engineering_components (?,?)
instance: sumo#sibling (?,?)
instance: sumo#legal_relation__legalrelation (?,?)
instance: sumo#spouse (?,?)
instance: sumo#consistent (?,?)
subtype: pm#equivalence_relation_type binary_relation that is reflexive, symmetric and transitive
instance: pm#symmetric_relation__symmetricrelation pm#inverse__reverse sumo#independent_probability__independentprobability sumo#overlaps_temporally sumo#connected sumo#meets_spatially__meetsspatially sumo#overlaps_spatially sumo#overlaps_partially sumo#connected_engineering_components sumo#sibling sumo#legal_relation__legalrelation sumo#spouse sumo#consistent
subtype: pm#antisymmetric_relation_type when for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1), that is, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical; it is possible for an antisymmetric relation to be a reflexive relation
instance: pm#antisymmetric_relation__antisymmetricrelation (?,?) this category only serves structuration purposes: it is instance of pm#antisymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: sumo#partly_located__partly_located_at (sumo#physical,sumo#object) the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
instance: 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: pm#asymmetric_relation_type an antisymmetric and irreflexive relation
subtype: pm#partial_ordering_relation_type binary_relation that is reflexive, antisymmetric and transitive
instance: pm#antisymmetric_relation__antisymmetricrelation sumo#partly_located__partly_located_at sumo#located
subtype: pm#transitive_relation_type a binary_relation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
instance: 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
instance: 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
instance: 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)
instance: sumo#less_than (sumo#quantity,sumo#quantity)
instance: sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
instance: 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
instance: sumo#crosses__crosse (sumo#object,sumo#object) the 1st object traverses the second without being connected to it
instance: sumo#precondition (?,?)
instance: sumo#sub_proposition__subproposition (?,?)
instance: sumo#sub_plan__subplan (?,?)
instance: sumo#larger (sumo#object,*)
instance: sumo#smaller (sumo#object,*)
instance: sumo#starts (?,?)
instance: sumo#finishes (?,?)
instance: sumo#before (?,?)
instance: sumo#during (?,?)
instance: sumo#earlier (?,?)
instance: sumo#superficial_part__superficialpart (?,?)
instance: sumo#interior_part (?,?)
instance: sumo#geographic_subregion (?,?)
instance: sumo#geopolitical_subdivision (?,?)
instance: sumo#developmental_form__developmentalform (?,?)
instance: sumo#version (?,?)
instance: sumo#ancestor (?,?)
instance: sumo#brother (?,?)
instance: sumo#sister (?,?)
instance: dl#part (dl#entity,dl#entity) the subpart may or may not be different from the whole
instance: dl#proper_part (dl#entity,dl#entity) the subpart is different from the whole
subtype: pm#equivalence_relation_type binary_relation that is reflexive, symmetric and transitive
subtype: pm#partial_ordering_relation_type binary_relation that is reflexive, antisymmetric and transitive
instance: pm#transitive_relation sumo#successor_attribute_closure__successorattributeclosure sumo#proper_part__proper_part_of sumo#less_than sumo#greater_than__greaterthan sumo#located sumo#crosses__crosse sumo#precondition sumo#sub_proposition__subproposition sumo#sub_plan__subplan sumo#larger sumo#smaller sumo#starts sumo#finishes sumo#before sumo#during sumo#earlier sumo#superficial_part__superficialpart sumo#interior_part sumo#geographic_subregion sumo#geopolitical_subdivision sumo#developmental_form__developmentalform sumo#version sumo#ancestor sumo#brother sumo#sister dl#part dl#proper_part
subtype: pm#intransitive_relation_type a binary_relation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
instance: pm#intransitive_relation (?,?) this category only serves structuration purposes: it is instance of pm#intransitive_relation_type which is not instance of pm#class_of_inheritable_relation_type
instance: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
instance: sumo#immediate_instance__immediateinstance (?,sumo#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
instance: 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 '<'
instance: 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#penetrates (sumo#object,sumo#object) the 1st object is connected to the second along at least one whole dimension (length, width or depth)
instance: sumo#element (?,?)
instance: sumo#meets_temporally__meetstemporally (?,?)
instance: sumo#parent (?,?)
instance: pm#intransitive_relation pm#inverse__reverse sumo#immediate_instance__immediateinstance sumo#immediate_subclass__immediate_subclass_of sumo#member sumo#penetrates sumo#element sumo#meets_temporally__meetstemporally sumo#parent
subtype: owl#annotation_property
subtype: owl#deprecated_property
subtype: owl#ontology_property
instance: pm#relation_to_another_ontology (pm#ontology,pm#ontology)
instance: pm#relation_to_another_ontology (pm)
subtype: rdfs#constraint_property
subtype: rdfs#container_membership_property
instance: rdfs#member ()
instance: rdfs#member
subtype: owl#datatype_property
subtype: owl#object_property if rel is an ObjectProperty, and rel(x,y), then y is an object
instance: pm#binary_relation sumo#distributes__distribute
subtype: pm#ternary_relation_type relates three items
subtype: pm#ternary_predicate_type__ternarypredicatetype class of predicates that require exactly three arguments
subtype: pm#binary_function_type class of functions requiring two arguments
subtype: pm#quaternary_relation_type relates four items
subtype: pm#quaternary_predicate_type class of predicates that require four arguments
subtype: pm#ternary_function_type class of functions requiring three arguments
subtype: pm#quintary_relation_type relates five items
subtype: pm#quintary_predicate_type class of predicates that require five arguments
subtype: pm#quaternary_function_type class of functions requiring four arguments
subtype: pm#variable_arity_relation_type class of relations that do not have a fixed number of arguments
instance: pm#relation_with_variable_arity (*) this category only serves structuration purposes: it is instance of pm#variable_arity_relation_type which is not instance of pm#class_of_inheritable_relation_type; currently not specialized by the SUMO ternary relations since this seems useless (for now)
instance: sumo#disjoint_relation (pm#relation_type+) (sumo#disjointRelation @ROW) means that any two relations in @ROW have no tuples in common; as a consequence, the intersection of all of the relations in @ROW is the null set
instance: sumo#contrary_attribute (pm#attribute_class,pm#attribute_class+) set of attributes such that something can not simultaneously have more than one of these attributes, e.g., in KIF, (sumo#contrary_aAttribute sumo#pliable sumo#rigid) means that nothing can be both pliable and rigid
instance: sumo#exhaustive_attribute (pm#attribute_class,pm#attribute_class+) this predicate relates a class to several types of attributes, and it means that the elements of this set exhaust the instances of the class; for example, in KIF, (sumo#exhaustiveAttribute sumo#physicalState sumo#solid sumo#fluid sumo#liquid sumo#gas) means that there are only three instances of the class sumo#physicalState, viz. sumo#solid, sumo#fluid, sumo#liquid, and sumo#gas
instance: sumo#exhaustive_decomposition (sumo#class,sumo#class+) an exhaustive_decomposition of a class C is a set of subclasses of C such that every instance of C is an instance of one of the subclasses in the set; note: this does not necessarily mean that the elements of the set are disjoint (see sumo#partition - a partition is a disjoint exhaustive decomposition)
instance: sumo#disjoint_decomposition (sumo#class,sumo#class+) a disjoint_decomposition of a class C is a set of mutually disjoint subclasses of C
instance: sumo#partition (sumo#class,sumo#class+) a partition of a class C is a set of mutually disjoint classes (a subclass partition) covering C; each instance of C is instance of exactly one of the subclasses in the partition
instance: sumo#assignment_fn (pm#function_type,*) if F is a function with a value for the objects denoted by N1,..., NK, then (sumo#assignmentFn F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK; otherwise, the value is undefined
instance: sumo#holds__hold (pm#relation_type,*) (holds P N1 ... NK) is true when the tuple of objects denoted by N1,..., NK is an element of the relation P
instance: sumo#list_fn (* -> sumo#list) a function that takes any number of arguments and returns the list containing those arguments in exactly the same order
instance: sumo#greatest_common_divisor_fn ()
instance: sumo#least_common_multiple_fn ()
instance: pm#relation_with_variable_arity sumo#disjoint_relation sumo#contrary_attribute sumo#exhaustive_attribute sumo#exhaustive_decomposition sumo#disjoint_decomposition sumo#partition sumo#assignment_fn sumo#holds__hold sumo#list_fn sumo#greatest_common_divisor_fn sumo#least_common_multiple_fn
subtype: pm#many_to_many_relation_type
subtype: pm#many_to_one_relation_type
subtype: pm#one_to_many_relation_type
subtype: pm#type_of_relation_extended_to_quantities relation that, when it is true on a sequence of arguments that are real_numbers, it is also true on a sequence of constant_quantites with those magnitudes in some unit of measure; for example, the less_than relation is extended to quantities; this means that for all pairs of quantities ?q1 and ?q2, [?q1, sumo#less_than: ?q2] if and only if, for some numbers ?n1 and ?n2 and unit ?u, [q1 = sumo#measure_fn(?n1,?u)], [q2 = sumo#measure_fn(?n2,?u)] and [?n1, less_than: ?n2] for all units on which ?q1 and ?q2 can be measured; note that, when a relation_extended_to_quantities is extended from real_numbers to constant_quantities, the constant_quantities must be measured along the same physical dimension
instance: pm#equal (?,?) "=" in KIF; true if the 1st argument is identical to the 2nd
instance: sumo#less_than (sumo#quantity,sumo#quantity)
instance: sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
instance: sumo#less_than_or_equal_to (?,?)
instance: sumo#greater_than_or_equal_to (?,?)
instance: sumo#multiplication_fn ()
instance: sumo#addition_fn ()
instance: sumo#subtraction_fn__subtractionfn ()
instance: sumo#division_fn ()
instance: sumo#exponentiation_fn ()
instance: sumo#max_fn__maxfn ()
instance: sumo#min_fn__minfn ()
instance: sumo#reciprocal_fn ()
instance: sumo#remainder_fn__remainderfn ()
instance: pm#equal sumo#less_than sumo#greater_than__greaterthan sumo#less_than_or_equal_to sumo#greater_than_or_equal_to sumo#multiplication_fn sumo#addition_fn sumo#subtraction_fn__subtractionfn sumo#division_fn sumo#exponentiation_fn sumo#max_fn__maxfn sumo#min_fn__minfn sumo#reciprocal_fn sumo#remainder_fn__remainderfn
subtype: pm#probability_relation_type the class of relations that permit assessment of the probability of an event or situation
instance: pm#probability_relation__probabilityrelation (sumo#formula,?)
instance: sumo#probability_fn__probabilityfn (sumo#formula -> sumo#real_number) one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
instance: sumo#conditional_probability__conditionalprobability (sumo#formula,sumo#formula,sumo#real_number) the probability of 'the 2nd formula being true given that the 1st formula is true' is the number given as 3rd parameter
instance: sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is more likely to be true if the 1st is true
instance: sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (sumo#formula,sumo#formula) the 2nd formula is less likely to be true if the 1st is true
instance: sumo#independent_probability__independentprobability (sumo#formula,sumo#formula) the probabilities of the formulas being true are independent
instance: pm#probability_relation__probabilityrelation sumo#probability_fn__probabilityfn sumo#conditional_probability__conditionalprobability sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of sumo#independent_probability__independentprobability
subtype: pm#spatial_relation_type the class of relations that are spatial in a wide sense, e.g., mereological relations and topological relation
instance: pm#relation_from_spatial_object (pm#spatial_object,*)
instance: sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
instance: sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object) a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
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
instance: sumo#contains (sumo#self_connected_object,sumo#object) the relation of spatial containment for two separable objects; when the two objects are not separable (e.g., an automobile and one of its seats), the relation of part should be used; (sumo#contains ?OBJ1 ?OBJ2) means that the self_connected_object ?OBJ1 has a space (i.e. a hole) which is at least partially filled by ?OBJ2
instance: sumo#partly_located__partly_located_at (sumo#physical,sumo#object) the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
instance: sumo#between (sumo#object,sumo#object,sumo#object) the second object is (directly) spatially located between the other two (the projections of which overlap with the second object)
instance: sumo#traverses__traverse (sumo#object,sumo#object) the first object crosses or extends across the second; note that crosses and penetrates are subrelations of traverses
instance: sumo#where_fn__wherefn (sumo#physical,sumo#time_point -> sumo#region) maps an object and a time_point at which the object exists to the region where the object existed at that time_point
instance: sumo#distance (sumo#object,*)
instance: sumo#larger (sumo#object,*)
instance: sumo#smaller (sumo#object,*)
instance: sumo#connected (sumo#object,*)
instance: sumo#connects (sumo#object,*)
instance: sumo#mereological_sum_fn (sumo#object,*)
instance: sumo#mereological_product_fn (sumo#object,*)
instance: sumo#mereological_difference_fn (sumo#object,*)
instance: sumo#hole (sumo#object,*)
instance: sumo#hole_host_fn (sumo#object,*)
instance: sumo#partially_fills__partiallyfill (sumo#object,*)
instance: sumo#hole_skin_fn (sumo#object,*)
instance: sumo#orientation (sumo#object,*)
instance: pm#relation_from_spatial_object sumo#front_fn__frontfn sumo#back_fn sumo#part__part_of sumo#contains sumo#partly_located__partly_located_at sumo#between sumo#traverses__traverse sumo#where_fn__wherefn sumo#distance sumo#larger sumo#smaller sumo#connected sumo#connects sumo#mereological_sum_fn sumo#mereological_product_fn sumo#mereological_difference_fn sumo#hole sumo#hole_host_fn sumo#partially_fills__partiallyfill sumo#hole_skin_fn sumo#orientation
subtype: pm#temporal_relation_type the class of temporal relations, e.g., notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
instance: pm#temporal_relation (?,?)
instance: sumo#time (sumo#physical,sumo#time_position) means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
instance: sumo#temporal_part (?,?)
instance: sumo#begin_fn__beginfn (?,?)
instance: sumo#end_fn__endfn (?,?)
instance: sumo#starts (?,?)
instance: sumo#finishes (?,?)
instance: sumo#before (?,?)
instance: sumo#before_or_equal (?,?)
instance: sumo#temporally_between (?,?)
instance: sumo#temporally_between_or_equal (?,?)
instance: sumo#overlaps_temporally (?,?)
instance: sumo#meets_temporally__meetstemporally (?,?)
instance: sumo#earlier (?,?)
instance: sumo#cooccur (?,?)
instance: sumo#time_interval_fn (?,?)
instance: sumo#recurrent_time_interval_fn (?,?)
instance: sumo#when_fn (sumo#physical -> sumo#time_interval) maps an object or process ?p to the exact time_interval during which it exists (for every time_point ?t outside of the time_interval, (time ?p ?t) does not hold
instance: sumo#past_fn (?,?)
instance: sumo#immediate_past_fn (?,?)
instance: sumo#future_fn (?,?)
instance: sumo#immediate_future_fn (?,?)
instance: sumo#year_fn (?,?)
instance: sumo#month_fn__monthfn (?,?)
instance: sumo#day_fn__dayfn (?,?)
instance: sumo#hour_fn (?,?)
instance: sumo#minute_fn (?,?)
instance: sumo#second_fn (?,?)
instance: sumo#temporal_composition_fn (?,?)
instance: sumo#relative_time_fn (?,?)
instance: pm#temporal_relation sumo#time sumo#temporal_part sumo#begin_fn__beginfn sumo#end_fn__endfn sumo#starts sumo#finishes sumo#before sumo#before_or_equal sumo#temporally_between sumo#temporally_between_or_equal sumo#overlaps_temporally sumo#meets_temporally__meetstemporally sumo#earlier sumo#cooccur sumo#time_interval_fn sumo#recurrent_time_interval_fn sumo#when_fn sumo#past_fn sumo#immediate_past_fn sumo#future_fn sumo#immediate_future_fn sumo#year_fn sumo#month_fn__monthfn sumo#day_fn__dayfn sumo#hour_fn sumo#minute_fn sumo#second_fn sumo#temporal_composition_fn sumo#relative_time_fn
subtype: pm#intentional_relation_type the class of relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
instance: pm#intentional_relation__intentionalrelation (sumo#cognitive_agent,?) relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
instance: sumo#prefers__prefer (sumo#cognitive_agent,sumo#formula,sumo#formula) the cognitive_agent prefers the state of affairs expressed by the 1st formula over the state of affairs expressed by the 2nd formula, all things being equal
instance: sumo#in_scope_of_interest (sumo#cognitive_agent,?) the 2nd argument is within the scope of interest of the agent; the interest indicated can be either positive or negative
subtype: pm#propositional_attitude_relation_type the class of intentional_relations where the agent has awareness of a proposition
subtype: pm#object_attitude_relation_type the class of intentional_relations where the agent has awareness of an instance of sumo#physical
instance: pm#object_attitude_relation (sumo#cognitive_agent,sumo#physical) intentional_relations where the agent has awareness of an instance of sumo#physical
instance: sumo#needs__need (sumo#cognitive_agent,sumo#physical) the 2nd argument is physically required for the continued existence of the cognitive agent
instance: sumo#wants__want (sumo#cognitive_agent,sumo#physical) the agent believes that the 2nd argument will satisfy one of its goals; what is wanted may or may not be already possessed by the agent
instance: pm#object_attitude_relation sumo#needs__need sumo#wants__want
instance: pm#intentional_relation__intentionalrelation sumo#prefers__prefer sumo#in_scope_of_interest
instance: pm#relation__related_thing__relatedthing___related_with
instance: pm#binary_relation_type all binary relation types are instance of that object
instance: pm#ternary_relation_type relates three items
instance: pm#quaternary_relation_type relates four items
instance: pm#quintary_relation_type relates five items
instance: pm#type_of_relation_extended_to_quantities
instance: pm#single_valued_relation_type when an assignment of values to every argument position except the last one determines at most one assignment for the last argument position; not all single_valued_relations are total_valued_relations
instance: pm#total_valued_relation_type pm#case_relation_type pm#probability_relation_type pm#spatial_relation_type pm#temporal_relation_type
instance: pm#intentional_relation_type the class of relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
instance: pm#propositional_attitude__propositionalattitude pm#object_attitude_relation_type
instance: pm#function_type term-forming relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element; note that the range is a set_or_class, and each element of the range is an instance of the set_or_class
instance: pm#unary_function_type class of functions requiring a single argument; if R is functional, then if R(x -> y) and P(x -> z) then y=z
instance: pm#binary_function_type class of functions requiring two arguments
instance: pm#ternary_function_type pm#quaternary_function_type
instance: pm#predicate_type__predicatetype a sentence-forming relation with each tuple being a finite, ordered sequence of objects
instance: pm#binary_predicate_type the class of predicates relating two items - its valence is two
instance: pm#ternary_predicate_type__ternarypredicatetype pm#quaternary_predicate_type pm#quintary_predicate_type
No statement uses or specializes pm#2nd_order_type; click here to add one.
110 categories printed