Relation pm#attributive_relation__attributiverelation (*)  like pm#binary_relation, this type mostly exists to categorize what cannot be categorized elsewhere
  exclusion:  pm#mereological_relation  pm#intentional_relation  pm#temporal_relation  pm#object_relation
  supertype:  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:  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:  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#main_author (pm#description,pm#causal_entity)
           subtype:  pm#co-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:  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#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#authoring_date__authoringdate (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)