Relation sumo#has_purpose_for_agent__haspurposeforagent (physical,formula,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
  exclusion:  attributive_relation  purpose  has-author  owned-by  owner  owner_of  leader  seller  customer  generator  creator  spatial_origin  exploits  has_purpose  measure  attribute  name  Date  value  rdf_reification_relation  support  example  syntax  has-magnitude
  type:  ternary_predicate_type__ternarypredicatetype  class of predicates that require exactly three arguments
  supertype:  attributive_relation__attributiverelation (*)  like pm#binary_relation, this type mostly exists to categorize what cannot be categorized elsewhere
     supertype:  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
        >part of:  relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type