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 13442-13446 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") | pictureList.kif 10738-10738 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") | pictureList.kif 9957-9957 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") | pictureList.kif 10736-10736 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") | pictureList.kif 10740-10740 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") | pictureList.kif 10741-10741 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") | pictureList.kif 10735-10735 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") | pictureList.kif 10739-10739 | |
| (externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") | pictureList.kif 10737-10737 | |
| (subclass Contest SocialInteraction) | Merge.kif 13441-13441 |
| appearance as argument number 2 |
|
|
| (range ContestFn Contest) | Music.kif 1051-1051 | |
| (subclass BusinessCompetition Contest) | Mid-level-ontology.kif 21310-21310 | |
| (subclass Debating Contest) | Mid-level-ontology.kif 21290-21290 | |
| (subclass Game Contest) | Merge.kif 13511-13511 | |
| (subclass LegalAction Contest) | Merge.kif 13520-13520 | |
| (subclass MusicContest Contest) | Music.kif 1004-1004 | |
| (subclass Negotiating Contest) | Mid-level-ontology.kif 21297-21297 | |
| (subclass ViolentContest Contest) | Merge.kif 13461-13461 | |
| (termFormat ChineseLanguage Contest "比赛") | chinese_format.kif 1208-1208 | |
| (termFormat EnglishLanguage Contest "contest") | english_format.kif 1633-1633 | |
| (termFormat FrenchLanguage Contest "affrontement") | french_format.kif 886-886 | |
| (termFormat Hindi Contest "pratiyogitaa") | terms-hindi.txt 419-419 | |
| (termFormat ItalianLanguage Contest "Competizione") | terms-it.txt 422-422 | |
| (termFormat JapaneseLanguage Contest "コンテスト") | japanese_format.kif 2570-2570 | |
| (termFormat cb Contest "tutol") | terms-cb.txt 424-424 | |
| (termFormat cz Contest "contest") | terms-cz.txt 458-458 | |
| (termFormat de Contest "Kampf") | terms-de.txt 717-717 | |
| (termFormat ro Contest "întrecere") | relations-ro.kif 907-907 | |
| (termFormat tg Contest "paligsahan") | terms-tg.txt 423-423 |
| appearance as argument number 3 |
|
|
| (domain contestEntry 3 Contest) | Music.kif 1084-1084 | |
| (domain contestObject 1 Contest) | Dining.kif 879-879 | |
| (domain contestOrganizer 1 Contest) | Music.kif 1065-1065 | |
| (domain contestParticipant 1 Contest) | Mid-level-ontology.kif 21268-21268 | |
| (domain contestParticipantRepresentation 1 Contest) | Music.kif 1107-1107 | |
| (domainSubclass ContestFn 1 Contest) | Music.kif 1049-1049 |
| 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 23435-23454 | |
| (=> (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 13448-13459 |
| 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 17552-17562 | |
| (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13530-13535 |
|
|
|