hasPurpose Comparison Table

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

hasPurpose comparison table

Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of

AsymmetricRelation trichotomizingOn A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
IrreflexiveRelation

BinaryPredicate singleValued A Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate

hasPurpose Formula Physical singleValued 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
(=>
(instance ?ORGAN Organ)
(exists (?PURP)
(hasPurpose ?ORGAN ?PURP)))
BinaryPredicate

Subject	have domain2	have domain1	be first domain of	documentation	have axiom	is a kind of	is an instance of
AsymmetricRelation			trichotomizingOn	A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation	(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))	IrreflexiveRelation
BinaryPredicate			singleValued	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
hasPurpose	Formula	Physical	singleValued	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	(=> (instance ?ORGAN Organ) (exists (?PURP) (hasPurpose ?ORGAN ?PURP)))		BinaryPredicate

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