more pictures...
| Contest(contest)
more pictures... | | Cold_War, Great_Revolt, Peasant's_Revolt, advance, aggress, aggression, agitate, agonistic, agonistical, antagonise, antagonize, anti-takeover_defense, arbitration, argle-bargle, arguing, argument, argy-bargy, arise, arm, arms_race, athletic_competition, athletic_contest, athletics, attack, avenge, balk, bargaining, barricade, bat, batrachomyomachia, battle, battle_of_wits, battle_royal, baulk, beat, beat_out, bench, beset, bet, bicker, bickering, bidding_contest, blitz, block, brush, buck, build_up, bulldog, bullfight, bulwark... |
| appearance as argument number 1 |
|
|
| (subclass Contest SocialInteraction) | Merge.kif 13478-13478 | Contest is a subclass of social interaction |
| (documentation Contest EnglishLanguage "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.") | Merge.kif 13479-13483 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") | pictureList.kif 9957-9957 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") | pictureList.kif 10735-10735 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") | pictureList.kif 10736-10736 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") | pictureList.kif 10737-10737 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") | pictureList.kif 10738-10738 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") | pictureList.kif 10739-10739 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") | pictureList.kif 10740-10740 | Contest is a subclass of social interaction |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") | pictureList.kif 10741-10741 | Contest is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| (subclass ViolentContest Contest) | Merge.kif 13498-13498 | Violent contest is a subclass of contest |
| (subclass Game Contest) | Merge.kif 13548-13548 | Game is a subclass of contest |
| (subclass LegalAction Contest) | Merge.kif 13557-13557 | Legal action is a subclass of contest |
| (subclass Debating Contest) | Mid-level-ontology.kif 21642-21642 | Debating is a subclass of contest |
| (subclass Negotiating Contest) | Mid-level-ontology.kif 21649-21649 | Negotiating is a subclass of contest |
| (subclass BusinessCompetition Contest) | Mid-level-ontology.kif 21665-21665 | Business competition is a subclass of contest |
| (subclass MusicContest Contest) | Music.kif 1004-1004 | Music contest is a subclass of contest |
| (range ContestFn Contest) | Music.kif 1051-1051 | The range of contest function is an instance of contest |
| (termFormat EnglishLanguage Contest "contest") | english_format.kif 1633-1633 | The range of contest function is an instance of contest |
| appearance as argument number 3 |
|
|
| (domain contestObject 1 Contest) | Dining.kif 879-879 | The number 1 argument of contest object is an instance of contest |
| (domain contestParticipant 1 Contest) | Mid-level-ontology.kif 21621-21621 | The number 1 argument of contest participant is an instance of contest |
| (domainSubclass ContestFn 1 Contest) | Music.kif 1049-1049 | The number 1 argument of contest function is a subclass of contest |
| (domain contestOrganizer 1 Contest) | Music.kif 1065-1065 | The number 1 argument of contest organizer is an instance of contest |
| (domain contestEntry 3 Contest) | Music.kif 1084-1084 | The number 3 argument of contest entry is an instance of contest |
| (domain contestParticipantRepresentation 1 Contest) | Music.kif 1107-1107 | The number 1 argument of contest representation is an instance of contest |
| antecedent |
|
|
| (=> (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))))) |
Merge.kif 13485-13496 | If X is an instance of contest, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Z is an agent of X (4) X has the purpose W for Y (5) X has the purpose V for Z (6) equal Y (7) Z (8) equal W (9) V |
| (=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C))))))) |
Mid-level-ontology.kif 24136-24155 | If X is an instance of blockade, Y is an instance of contest, X is a subprocess of Y, Z participates in Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W prevents the occurrence of translocation (3) X is an instance of W (4) V participates in Y (5) equal Z (6) V (7) V desires there exists U such that U is an instance of W (8) Z is an agent of U (9) U is a subprocess of Y |
| consequent |
|
|
| (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13567-13572 | If X is an instance of maneuver, then there exists Y such that Y is an instance of contest and X is a subprocess of Y |
| (=> (and (property ?THING ?ATTR) (instance ?ATTR ContestAttribute)) (exists (?CONTEST) (and (instance ?CONTEST Contest) (or (agent ?CONTEST ?THING) (patient ?CONTEST ?THING) (subProcess ?THING ?CONTEST))))) |
Merge.kif 17587-17597 | If X the attribute Y and Y is an instance of contest attribute, then there exists Z such that Z is an instance of contest and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| (=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (not (equal ?AGENT ?POPULACE)) (not (equal ?AGENT (GovernmentFn ?NATION))) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION))))) |
MilitaryProcesses.kif 163-183 | If All of the following hold: (1) X is an instance of unconventional warfare (2) Y is an agent of X (3) equal Y and Z (4) equal Y and the government of W (5) Z is a patient of X (6) Z is a member of the resident of W or Z is a proper sub-collection of the resident of W, then there exists V such that V is an instance of contest, Z is an agent of V, and the government of W is an agent of V |
|
|
|