TreeView Knowledge Base Browser - contestParticipant

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19032-19036
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19030-19030	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 19031-19031	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 19028-19028	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19029-19029	contest participant is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19027-19027	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 3103-3103
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3102-3102
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3101-3101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16947-16947
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16946-16946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16945-16945

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21234-21253	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 19076-19080	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 1291-1298	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 1497-1510	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 21234-21253	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 8030-8038	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 is a part of the organization the government of the geopolitical area and the military unit is a part of the organization the government of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Music.kif 1000-1013	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 1020-1033	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 7215-7223	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 19042-19050	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 is a geopolitical part of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Sports.kif 784-800	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 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