SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > hasPurposeForAgent
Next TernaryPredicate: occupiesPosition    Up: TernaryPredicate    Previous TernaryPredicate: domainSubclass   

hasPurposeForAgent
subjectfact 
hasPurposeForAgentdocumentation 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 Predicate2001-11-30 13:34:23.0
has axiom 
(=>
    (and
       (instance ?PROC IntentionalProcess)
       (agent ?PROC ?AGENT))
    (and
       (instance ?AGENT CognitiveAgent)
       (exists (?PURP)
          (hasPurposeForAgent ?PROC ?PURP ?AGENT))))
2001-11-30 13:34:23.0
has axiom 
(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
       (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
2001-11-30 13:34:23.0
has axiom 
(=>
    (instance ?CONTEST Contest)
    (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
       (and
          (agent ?CONTEST ?AGENT1)
          (agent ?CONTEST ?AGENT2)
          (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
          (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
          (not
             (equal ?AGENT1 ?AGENT2))
          (not
             (equal ?PURP1 ?PURP2)))))
2001-11-30 13:34:23.0
has axiom 
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
       (forall (?AGENT)
          (=>
             (agent ?COOPERATE ?AGENT)
             (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
2001-11-30 13:34:23.0
has axiom 
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
       (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
2001-11-30 13:34:23.0
has domain1 Physical2001-11-30 13:34:23.0
has domain2 Formula2001-11-30 13:34:23.0
has domain3 Agent2001-11-30 13:34:23.0
is an instance of TernaryPredicate2001-11-30 13:34:24.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0