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


Simple category search: