Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  contestParticipant

Sigma KEE - contestParticipant
contestParticipant

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 19052-19056
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 19050-19050
(domain contestParticipant 2 Agent) Mid-level-ontology.kif 19051-19051
(instance contestParticipant CaseRole) Mid-level-ontology.kif 19048-19048
(instance contestParticipant TotalValuedRelation) Mid-level-ontology.kif 19049-19049
(subrelation contestParticipant agent) Mid-level-ontology.kif 19047-19047

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 21254-21273
(=>
    (and
        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 19096-19100

consequent
-------------------------


(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))
Sports.kif 1291-1298
(=>
    (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 1497-1510
(=>
    (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 21254-21273
(=>
    (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 8030-8038
(=>
    (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 1000-1013
(=>
    (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 1020-1033
(=>
    (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 7215-7223
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))
Mid-level-ontology.kif 19062-19070
(=>
    (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 784-800


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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