Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Ävª§ (Contest)

A SocialInteraction where the agent and patient are CognitiveAgents who are trying to defeat one another. Note that this concept is often applied in a metaphorical sense in natural language, when we speak, e.g., of the struggle of plants for space or sunlight, or of bacteria for food resources in some environment.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
¹êÅé
is subclass of
  ª«½èªº  
is subclass of
  ¾úµ{  
is subclass of
  ·N¦V©Ê¾úµ{  
is subclass of
  ¤H»Ú¤¬°Ê  
is subclass of
  Ävª§  

Subclass(es)

¼É¤O©ÊªºÄvª§  ¹CÀ¸/ÄvÁÉ  ªk«ß¦æ¬° 

Coordinate term(s)

¾Ö¦³ÅvªºÂಾ  ·¾³q  ¦X§@  ·|­±  °°¸Ë 

Related WordNet synsets

contest
a struggle between rivals
contest is kind of (all)...   contest is kind of...   kinds of contest...   kinds of contest (all)...  
fight, fighting, combat
the act of fighting; any contest or struggle; "a fight broke out at the hockey game"; "there was fighting in the streets"
fight is kind of (all)...   fight is kind of...   kinds of fight...   kinds of fight (all)...   parts of fight...  
war, warfare
an active struggle between competing entities; "a price war"; "a war of wits"; "diplomatic warfare"
war is kind of (all)...   war is kind of...  
contest, competition
an occasion on which a winner is selected from among two or more contestants
contest is kind of (all)...   contest is kind of...   kinds of contest...   kinds of contest (all)...  
See more related synsets on a separate page.

Axioms (3)

If contest ¬O Ävª§ ªº ¹ê¨Ò, then there exist agent1,agent2,purp1,purp2 so that contest ¬O agent1 ªº ¬I¨ÆªÌ and contest ¬O agent2 ªº ¬I¨ÆªÌ and contest ¹ïagent1 ¦³ ·N¹Ï purp1 and contest ¹ïagent2 ¦³ ·N¹Ï purp2 and agent1 µ¥©ó agent2 and purp1 µ¥©ó purp2.
(=>
      (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)))))

If move ¬O ½Õ»º ªº ¹ê¨Ò, then there exists Ävª§ contest so that move ¬O contest ªº ¦¸¾úµ{.
(=>
      (instance ?MOVE Maneuver)
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (subProcess ?MOVE ?CONTEST))))

If attr ¬O obj ªº ÄÝ©Ê and attr ¬O Ävª§ÄÝ©Ê ªº ¹ê¨Ò, then there exists Ävª§ contest so that contest ¬O obj ªº ¬I¨ÆªÌ or obj ¬O contest ªº ¨ü¨ÆªÌ.
(=>
      (and
            (attribute ?OBJ ?ATTR)
            (instance ?ATTR ContestAttribute))
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (or
                        (agent ?CONTEST ?OBJ)
                        (patient ?CONTEST ?OBJ)))))