| appearance as argument number 1 |
|
| (documentation contestParticipant EnglishLanguage "(contestParticipant ?CONTEST ?AGENT) means that ?AGENT is one of the sides in the Contest ?CONTEST. For example, if the ?CONTEST is a football game, then ?AGENT would be one of the opposing teams. For another example, if ?CONTEST is a Battle, then ?AGENT would be one of the sides fighting each other.") | Mid-level-ontology.kif 16220-16224 | |
| (domain contestParticipant 1 Contest) | Mid-level-ontology.kif 16218-16218 | |
| (domain contestParticipant 2 Agent) | Mid-level-ontology.kif 16219-16219 | |
| (instance contestParticipant CaseRole) | Mid-level-ontology.kif 16216-16216 | |
| (instance contestParticipant TotalValuedRelation) | Mid-level-ontology.kif 16217-16217 | |
| (subrelation contestParticipant agent) | Mid-level-ontology.kif 16215-16215 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contestParticipant "%2 participates 在 %1 ") | domainEnglishFormat.kif 3103-3103 | |
| (format ChineseTraditionalLanguage contestParticipant "%2 participates 在 %1 ") | domainEnglishFormat.kif 3102-3102 | |
| (format EnglishLanguage contestParticipant "%2 participates in %1") | domainEnglishFormat.kif 3101-3101 | |
| (termFormat ChineseLanguage contestParticipant "比赛参与者") | domainEnglishFormat.kif 16947-16947 | |
| (termFormat ChineseTraditionalLanguage contestParticipant "比賽參與者") | domainEnglishFormat.kif 16946-16946 | |
| (termFormat EnglishLanguage contestParticipant "contest participant") | domainEnglishFormat.kif 16945-16945 |
| 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 18249-18268 | |
| (=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation)) |
Mid-level-ontology.kif 16264-16268 |
| consequent |
|
|
| (=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (exists (?GAME) (and (instance ?GAME Sport) (contestParticipant ?GAME ?ATHLETE)))) |
Sports.kif 1215-1222 | |
| (=> (and (employs ?HOTEL ?ATHLETE) (attribute ?HOTEL TravelerAccommodation) (attribute ?ATHLETE TennisProfessional) (guest ?CUST ?HOTEL)) (modalAttribute (exists (?TENNIS ?LOC) (and (instance ?TENNIS Tennis) (contestParticipant ?TENNIS ?ATHLETE) (contestParticipant ?TENNIS ?CUST) (located ?TENNIS ?LOC) (located ?HOTEL ?LOC))) Possibility)) |
Hotel.kif 1484-1497 | |
| (=> (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 18249-18268 | |
| (=> (contestObject ?CONTEST ?OBJ ?AGENT) (and (contestParticipant ?CONTEST ?AGENT) (exists (?MAKE ?JUDGE ?PROC) (and (instance ?MAKE Making) (result ?MAKE ?OBJ) (agent ?MAKE ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (patient ?PROC ?OBJ) (result ?PROC (subjectiveAttribute ?OBJ ?ATTR ?JUDGE)) (subProcess ?PROC ?CONTEST))))) |
Dining.kif 836-849 | |
| (=> (hostileForces ?U1 ?U2) (exists (?WAR ?A1 ?A2) (and (instance ?WAR War) (contestParticipant ?WAR ?A1) (contestParticipant ?WAR ?A2) (subOrganization ?U1 (GovernmentFn ?A1)) (subOrganization ?U2 (GovernmentFn ?A2))))) |
Mid-level-ontology.kif 7316-7324 | |
| (=> (instance ?CONTEST MusicContest) (exists (?J) (and (instance ?J Judging) (forall (?A) (=> (contestParticipant ?CONTEST ?A) (exists (?MM) (and (agent ?MM ?A) (instance ?MM MakingMusic) (subProcess ?MM ?CONTEST) (patient ?J ?MM)))))))) |
Music.kif 999-1012 | |
| (=> (instance ?CONTEST SingingContest) (exists (?J) (and (instance ?J Judging) (forall (?A) (=> (contestParticipant ?CONTEST ?A) (exists (?MV) (and (agent ?MV ?A) (instance ?MV Singing) (subProcess ?MV ?CONTEST) (patient ?J ?MV)))))))) |
Music.kif 1019-1032 | |
| (=> (instance ?S TeamSport) (exists (?T1 ?T2) (and (contestParticipant ?S ?T1) (contestParticipant ?S ?T2) (instance ?T1 SportsTeam) (instance ?T2 SportsTeam) (not (equal ?T1 ?T2))))) |
Mid-level-ontology.kif 6564-6572 | |
| (=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 16230-16238 | |
| (=> (instance ?X Tennis) (exists (?T1 ?T2) (and (contestParticipant ?X ?T1) (contestParticipant ?X ?T2) (not (equal ?T1 ?T2)) (or (instance ?T1 Human) (and (instance ?T1 GroupOfPeople) (memberCount ?T1 2))) (or (instance ?T2 Human) (and (instance ?T2 GroupOfPeople) (memberCount ?T2 2)))))) |
Sports.kif 708-724 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners