Relationsumo#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 formulaexclusion: 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__ternarypredicatetypeclass of predicates that require exactly three argumentssupertype: pm#attributive_relation__attributiverelation (*)like pm#binary_relation, this type mostly exists to categorize what cannot be categorized elsewheresupertype: 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 relationssupertype: pm#relation__related_thing__relatedthing___related_with (*)type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type