SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > hasPurpose

hasPurpose
subject			fact

hasPurpose	documentation This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (hasPurpose ?THING ?FORMULA) means that the instance of Physical ?THING has, as its purpose, the Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the Predicates hasPurpose 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
	has axiom (=> (instance ?PLAN Plan) (exists (?PURP) (hasPurpose ?PLAN ?PURP)))
	has axiom (=> (hasPurpose ?THING ?PURPOSE) (exists (?AGENT) (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
	has axiom (=> (instance ?ORGAN Organ) (exists (?PURP) (hasPurpose ?ORGAN ?PURP)))
	has domain1 Physical
	has domain2 Formula
	is an instance of AsymmetricRelation
	is an instance of BinaryPredicate
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Predicate	is first domain of singleValued
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next AsymmetricRelation: hasSkill    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: front