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 17513-17517
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17511-17511	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 17512-17512	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 17509-17509	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17510-17510	contest participant is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17508-17508	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 16879-16879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16878-16878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16877-16877

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19626-19645	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 17557-17561	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 attribute is an attribute of an agent and the attribute 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 19626-19645	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 8159-8167	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 contest 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 7255-7263	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 17523-17531	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