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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20771-20775
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 20769-20769 The number 1 argument of contest participant is an instance of contest
(domain contestParticipant 2 AutonomousAgent) Mid-level-ontology.kif 20770-20770 The number 2 argument of contest participant is an instance of agent
(instance contestParticipant CaseRole) Mid-level-ontology.kif 20767-20767 contest participant is an instance of case role
(instance contestParticipant TotalValuedRelation) Mid-level-ontology.kif 20768-20768 contest participant is an instance of total valued relation
(subrelation contestParticipant agent) Mid-level-ontology.kif 20766-20766 contest participant is a subrelation of agent

appearance as argument number 2
-------------------------


(format ChineseLanguage contestParticipant "%2 participates 在 %1 ") domainEnglishFormat.kif 3094-3094
(format ChineseTraditionalLanguage contestParticipant "%2 participates 在 %1 ") domainEnglishFormat.kif 3093-3093
(format EnglishLanguage contestParticipant "%2 participates in %1") domainEnglishFormat.kif 3092-3092
(termFormat ChineseLanguage contestParticipant "比赛参与者") domainEnglishFormat.kif 16971-16971
(termFormat ChineseTraditionalLanguage contestParticipant "比賽參與者") domainEnglishFormat.kif 16970-16970
(termFormat EnglishLanguage contestParticipant "contest participant") domainEnglishFormat.kif 16969-16969

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 22890-22909
(=>
    (and
        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))		 Mid-level-ontology.kif 20815-20819

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


(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))		 Sports.kif 1365-1372
(=>
    (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 1522-1535
(=>
    (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 22890-22909
(=>
    (contestObject ?CONTEST ?OBJ ?AGENT)
    (and
        (contestParticipant ?CONTEST ?AGENT)
        (exists (?MAKE ?JUDGE ?PROC ?AFTR)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?OBJ)
                (agent ?MAKE ?AGENT)
                (instance ?PROC Judging)
                (agent ?PROC ?JUDGE)
                (patient ?PROC ?OBJ)
                (result ?PROC
                    (subjectiveAttribute ?OBJ ?AFTR ?JUDGE))
                (subProcess ?PROC ?CONTEST)))))		 Dining.kif 883-896
(=>
    (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 9200-9208
(=>
    (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 1007-1020
(=>
    (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 1027-1040
(=>
    (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 8312-8320
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))		 Mid-level-ontology.kif 20781-20789
(=>
    (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 857-873


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