hasPurposeForAgent Comparison Table

Next TernaryPredicate: occupiesPosition Up: TernaryPredicate Previous TernaryPredicate: domainSubclass

hasPurposeForAgent comparison table

Subject have domain3 have domain2 have domain1 documentation have axiom is a kind of is an instance of

TernaryPredicate The Class of Predicates that require exactly three arguments
(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
TernaryRelation

hasPurposeForAgent Agent Formula Physical Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?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 second argument position of this Predicate
(=>
(wants ?AGENT ?OBJ)
(exists (?PURP)
(hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
TernaryPredicate

Subject	have domain3	have domain2	have domain1	documentation	have axiom	is a kind of	is an instance of
TernaryPredicate				The Class of Predicates that require exactly three arguments	(=> (instance ?REL TernaryPredicate) (valence ?REL 3))	TernaryRelation
hasPurposeForAgent	Agent	Formula	Physical	Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?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 second argument position of this Predicate	(=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))		TernaryPredicate

Next TernaryPredicate: occupiesPosition Up: TernaryPredicate Previous TernaryPredicate: domainSubclass