more pictures...
| Contest
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Contest ChineseLanguage "这是一种 SocialInteraction，当中 agent 和 patient 皆是试图击败对方的 CognitiveAgent。注：这个概念在自然语言常常以隐喻的意义被应用，我们会说 譬如植物为了空间和阳光而争斗，或细菌在某些环境为了食物而斗争。") | chinese_format.kif 3286-3288 | |
| (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 12388-12392 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") | pictureList.kif 10761-10761 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") | pictureList.kif 9976-9976 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") | pictureList.kif 10759-10759 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") | pictureList.kif 10763-10763 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") | pictureList.kif 10764-10764 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") | pictureList.kif 10758-10758 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") | pictureList.kif 10762-10762 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") | pictureList.kif 10760-10760 | |
| (subclass Contest SocialInteraction) | Merge.kif 12387-12387 |
| appearance as argument number 2 |
|
|
| (range ContestFn Contest) | Music.kif 1041-1041 | |
| (subclass BusinessCompetition Contest) | Mid-level-ontology.kif 17531-17531 | |
| (subclass Debating Contest) | Mid-level-ontology.kif 17511-17511 | |
| (subclass Game Contest) | Merge.kif 12457-12457 | |
| (subclass LegalAction Contest) | Merge.kif 12466-12466 | |
| (subclass MusicContest Contest) | Music.kif 994-994 | |
| (subclass Negotiating Contest) | Mid-level-ontology.kif 17518-17518 | |
| (subclass ViolentContest Contest) | Merge.kif 12407-12407 | |
| (termFormat ChineseLanguage Contest "比赛") | chinese_format.kif 1208-1208 | |
| (termFormat EnglishLanguage Contest "contest") | english_format.kif 1638-1638 |
| appearance as argument number 3 |
|
|
| (domain contestEntry 3 Contest) | Music.kif 1074-1074 | |
| (domain contestObject 1 Contest) | Dining.kif 832-832 | |
| (domain contestOrganizer 1 Contest) | Music.kif 1055-1055 | |
| (domain contestParticipant 1 Contest) | Mid-level-ontology.kif 17489-17489 | |
| (domain contestParticipantRepresentation 1 Contest) | Music.kif 1097-1097 | |
| (domainSubclass ContestFn 1 Contest) | Music.kif 1039-1039 |
| antecedent |
|
|
| (=> (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 19605-19624 | |
| (=> (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 12394-12405 |
| consequent |
|
|
| (=> (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 | |
| (=> (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 16235-16245 | |
| (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 12476-12481 |
|
|
|