SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > SocialInteraction > Cooperation
Next SocialInteraction: Meeting    Up: SocialInteraction    Previous SocialInteraction: Contest   

Cooperation comparison table
Subject documentation is a kind of have axiom
SocialInteractionThe subclass of IntentionalProcess that involves interactions between CognitiveAgentsIntentionalProcess
(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
       (and
          (agent ?INTERACTION ?AGENT1)
          (agent ?INTERACTION ?AGENT2)
          (not
             (equal ?AGENT1 ?AGENT2)))))
CooperationThe subclass of SocialInteraction where the participants involved work together for the achievement of a common goalSocialInteraction
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
       (forall (?AGENT)
          (=>
             (agent ?COOPERATE ?AGENT)
             (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))

Next SocialInteraction: Meeting    Up: SocialInteraction    Previous SocialInteraction: Contest