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
-------------------------


s__documentation(s__contestParticipant__m,s__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 18713-18717
s__domain(s__contestParticipant__m,n__1,s__Contest)

Mid-level-ontology.kif 18711-18711 The number 1 argument of contest participant is an instance of contest
s__domain(s__contestParticipant__m,n__2,s__Agent)

Mid-level-ontology.kif 18712-18712 The number 2 argument of contest participant is an instance of agent
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__contestParticipant__m,s__CaseRole)

Mid-level-ontology.kif 18709-18709 contest participant is an instance of case role
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__contestParticipant__m,s__TotalValuedRelation)

Mid-level-ontology.kif 18710-18710 contest participant is an instance of total valued relation
s__subrelation(s__contestParticipant__m,s__agent__m)

Mid-level-ontology.kif 18708-18708 contest participant is a subrelation of agent

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


s__format(s__ChineseLanguage,s__contestParticipant__m,'"%2 participates 在 %1 "')

domainEnglishFormat.kif 3103-3103
s__format(s__ChineseTraditionalLanguage,s__contestParticipant__m,'"%2 participates 在 %1 "')

domainEnglishFormat.kif 3102-3102
s__format(s__EnglishLanguage,s__contestParticipant__m,'"%2 participates in %1"')

domainEnglishFormat.kif 3101-3101
s__termFormat(s__ChineseLanguage,s__contestParticipant__m,'"比赛参与者"')

domainEnglishFormat.kif 16947-16947
s__termFormat(s__ChineseTraditionalLanguage,s__contestParticipant__m,'"比賽參與者"')

domainEnglishFormat.kif 16946-16946
s__termFormat(s__EnglishLanguage,s__contestParticipant__m,'"contest participant"')

domainEnglishFormat.kif 16945-16945

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20902-20921
( ! [V__AGENT,V__CONTEST] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__CONTEST,s__BusinessCompetition) &
             s__contestParticipant(V__CONTEST,V__AGENT))
         =>
         (s__instance(V__AGENT,s__Corporation)))))
   )
)

Mid-level-ontology.kif 18757-18761

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


( ! [V__ATHLETE,V__PA] :
   ((s__instance(V__ATHLETE,s__Agent) =>
       (((s__attribute(V__ATHLETE,V__PA)
           &
           s__instance(V__PA,s__ProfessionalAthlete))
         =>
         (( ? [V__GAME] :
             ((s__instance(V__GAME,s__Sport) &
                 s__contestParticipant(V__GAME,V__ATHLETE))))))))
)
)

Sports.kif 1291-1298
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20902-20921
No TPTP formula. May not be expressible in strict first order. Dining.kif 836-849
( ! [V__U1,V__U2] :
   (((s__instance(V__U1,s__MilitaryUnit) &
         s__instance(V__U2,s__MilitaryUnit))
       =>
       ((s__hostileForces(V__U1,V__U2)
         =>
         (( ? [V__WAR, V__A1, V__A2] :
             ((s__instance(V__A1,s__GeopoliticalArea) &
                 s__instance(V__A2,s__GeopoliticalArea) &
                 (s__instance(V__WAR,s__War) &
                   s__contestParticipant(V__WAR,V__A1)
                 &
                 s__contestParticipant(V__WAR,V__A2)
               &
               s__subOrganization(V__U1,s__GovernmentFn(V__A1))
           &
           s__subOrganization(V__U2,s__GovernmentFn(V__A2))))))))))
)
)

Mid-level-ontology.kif 8006-8014
( ! [V__CONTEST] :
   ((s__instance(V__CONTEST,s__MusicContest) =>
       (( ? [V__J] :
           ((s__instance(V__J,s__Judging) &
               ( ! [V__A] :
                 ((s__instance(V__A,s__Agent) =>
                     ((s__contestParticipant(V__CONTEST,V__A)
                       =>
                       (( ? [V__MM] :
                           ((s__agent(V__MM,V__A)
                             &
                             s__instance(V__MM,s__MakingMusic) &
                             s__subProcess(V__MM,V__CONTEST)
                           &
                           s__patient(V__J,V__MM)))))))))))))))
)
)

Music.kif 999-1012
( ! [V__CONTEST] :
   ((s__instance(V__CONTEST,s__SingingContest) =>
       (( ? [V__J] :
           ((s__instance(V__J,s__Judging) &
               ( ! [V__A] :
                 ((s__instance(V__A,s__Agent) =>
                     ((s__contestParticipant(V__CONTEST,V__A)
                       =>
                       (( ? [V__MV] :
                           ((s__agent(V__MV,V__A)
                             &
                             s__instance(V__MV,s__Singing) &
                             s__subProcess(V__MV,V__CONTEST)
                           &
                           s__patient(V__J,V__MV)))))))))))))))
)
)

Music.kif 1019-1032
( ! [V__S] :
   ((s__instance(V__S,s__TeamSport) =>
       (( ? [V__T1, V__T2] :
           ((s__contestParticipant(V__S,V__T1)
             &
             s__contestParticipant(V__S,V__T2)
           &
           s__instance(V__T1,s__SportsTeam) &
           s__instance(V__T2,s__SportsTeam) &
           ~((V__T1 = V__T2)))))))
)
)

Mid-level-ontology.kif 7191-7199
( ! [V__WAR] :
   ((s__instance(V__WAR,s__CivilWar) =>
       (( ? [V__NATION] :
           ((s__instance(V__NATION,s__Nation) &
               ( ! [V__AGENT] :
                 ((s__instance(V__AGENT,s__GeopoliticalArea) =>
                     ((s__contestParticipant(V__WAR,V__AGENT)
                       =>
                       (s__geopoliticalSubdivision(V__AGENT,V__NATION))))))))))))
)
)

Mid-level-ontology.kif 18723-18731
( ! [V__X] :
   ((s__instance(V__X,s__Tennis) =>
       (( ? [V__T1, V__T2] :
           ((s__contestParticipant(V__X,V__T1)
             &
             s__contestParticipant(V__X,V__T2)
           &
           ~((V__T1 = V__T2))
           &
           (s__instance(V__T1,s__Human) |
             (s__instance(V__T1,s__GroupOfPeople) &
               s__memberCount(V__T1,n__2)))
         &
         (s__instance(V__T2,s__Human) |
           (s__instance(V__T2,s__GroupOfPeople) &
             s__memberCount(V__T2,n__2))))))))
)
)

Sports.kif 784-800


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