SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Competition > Contest
UpCompetition, SocialInteraction

Contest
subjectfact 
Contestdocumentation A Competition in which the Agents are CognitiveAgents. More specifically, the Agents are aware at some level that there is a prize at stake in the Competition2001-11-30 13:33:57.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:33:57.0
has axiom
(=>
(instance ?MOVE Maneuver)
(exists (?CONTEST)
(and
(instance ?CONTEST Contest)
(subProcess ?MOVE ?CONTEST))))
2001-11-30 13:33:57.0
is a kind of Competition2001-11-30 13:33:57.0
is a kind of SocialInteraction2001-11-30 13:33:57.0
Processis first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0
IntentionalProcessis disjoint from NonintentionalProcess2001-11-30 13:34:31.0

Kinds of Contest :

UpCompetition, SocialInteraction