contestParticipant - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17364-17368
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17362-17362	The number 1 argument of contest participant is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17363-17363	The number 2 argument of contest participant is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17360-17360	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17361-17361	contest participant is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17359-17359	contest participant is a subrelation of agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3099-3099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3098-3098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3097-3097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16885-16885	"比赛参与者" is the printable form of contest participant in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16884-16884	"比賽參與者" is the printable form of contest participant in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16883-16883	"contest participant" is the printable form of contest participant in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19466-19485	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17408-17412	If a contest is an instance of business competition and an agent participates in the contest, then the agent is an instance of corporation

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1215-1222	If an entity is an attribute of an agent and the entity is an instance of professional athlete, then there exists a contest such that the contest is an instance of sport and the agent participates in the contest
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1470-1483	If a cognitive agent employs another cognitive agent and traveler accommodation is an attribute of the cognitive agent and tennis pro is an attribute of the other cognitive agent and a third cognitive agent is a guest at the cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the other cognitive agent participates in the entity and the third cognitive agent participates in the entity and the entity is located at the other entity and the cognitive agent is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19466-19485	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 836-849	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent and another process such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is an entity is a result of the other process and the other process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8148-8156	If a military unit is a hostile forces of another military unit, then there exist a contest, a geopolitical area and another geopolitical area such that the contestAR is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit は組織 the geopolitical area の government の一部では %n and the military unit は組織 the other geopolitical area の government の一部では %n
No TPTP formula. May not be expressible in strict first order.	Music.kif 999-1012	If a contest is an instance of music contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of making music and the other process is a subprocess of the contest and the other process is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 1019-1032	If a contest is an instance of singing contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of singing and the other process is a subprocess of the contest and the other process is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7245-7253	If a contest is an instance of team sport, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is an instance of sports team and the other agent is an instance of sports team and the agent is not equal to the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17374-17382	If a contest is an instance of civil war, then there exists a geopolitical area such that the geopolitical area is an instance of nation and for all another geopolitical area if the other geopolitical area participates in the contest, then the other geopolitical area は the geopolitical area の geopolitical 部分では %n
No TPTP formula. May not be expressible in strict first order.	Sports.kif 708-724	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is not equal to the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners